Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
Florian LonsingKarthik GanesanMakai MannSrinivasa Shashank NuthakkiEshan SinghMario SroujiYahan YangSubhasish MitraClark W. BarrettPublished in: ICCAD (2019)
Keyphrases
- invited paper
- formal methods
- low cost
- hardware designs
- hardware and software
- real time
- computational power
- asymptotically optimal
- ibm power processor
- formal analysis
- functional verification
- square root
- high level
- symbolic representation
- computer systems
- power consumption
- hardware implementation
- fuzzy logic
- field programmable gate array
- chip design
- database
- formal specification
- artificial intelligence
- accepted papers
- databases