Software Development
Formal Verification
Formal property verification and model checking skill for FPGA designs
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication
- Content fingerprint
7ef9f300ffa23d9bac751bfb01b7aeb4f0b4c6c12ddbc31f782ff8fcd9b6f924