Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide.
Meinhard KissichMarcel BaunachPublished in: DSD (2023)
Keyphrases
- functional verification
- formal methods
- design tools
- knowledge discovery
- formal analysis
- artificial intelligence
- databases
- model checking
- user interface
- design process
- desirable properties
- digital media
- signature verification
- programming language
- digital libraries
- pattern discovery
- digital content
- design decisions
- formal specification
- website
- conceptual design
- image processing
- information retrieval
- real time