Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
Xiushan FengAlan J. HuPublished in: DAC (2006)
Keyphrases
- high level
- formal methods
- low level
- software development
- software systems
- user interface
- asynchronous circuits
- source code
- formal analysis
- software design
- requirements specification
- software maintenance
- model checking
- software tools
- higher level
- personal computer
- software projects
- formal verification
- software engineering
- reactive systems
- case study