On embedding a hardware description language in Isabelle/HOL.
Wilayat KhanDavid SanánZhe HouYang LiuPublished in: Des. Autom. Embed. Syst. (2019)
Keyphrases
- theorem prover
- hardware description language
- natural deduction
- integrated circuit
- inference rules
- programmable logic
- theorem proving
- hardware design
- higher order logic
- first order logic
- hardware designs
- vector space
- field programmable gate array
- open source
- formal methods
- watermarking algorithm
- data hiding
- artificial intelligence
- general purpose
- image segmentation