Conference Presentation, Keynote
OCaml All The Way Down
- Plans to publish an Opam remote repository for MicroBlaze cross-compilation and package distribution within the next week or two.
- Anticipates a tentative HardCAML release occurring in approximately three months, subject to change.
- Intends to incorporate a HardCAML-designed soft CPU into future demonstrations to improve upon previous iterations.
- Commits to eventually replacing the MicroBlaze soft CPU with a custom processor to eliminate vendor toolchain dependencies.
- Aims to review and release older libraries, specifically targeting "WAV term" code.
- Goals include resuming development of a hardware-based OCaml bytecode VM to complete the approximately 75% implemented state machine.
- Plans to research and develop a DSL based on HardCAML to model atomic actions found in BlueSpec.
- Will utilize Z3 with OCaml bindings for future verification tasks once additional time becomes available.
- Intends to explore tidying up and releasing older libraries, specifically those related to WAV terminology.
- Notes the immediate availability of waveform expect tests as a new HardCAML feature.
- Prefers integrated processors in FPGAs over external solutions when available.
- Identifies writing C code for critical FPGA components like kill switches as poor practice, favoring OCaml for improved code review.
- Expects the OCaml top level to be effective for early design tasks such as register poking and observation, contingent on the feature's availability.