Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 110-124
- https://doi.org/10.1007/3-540-48153-2_10
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- What's between simulation and formal verification?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A role for theorem proving in multi-processor designPublished by Springer Nature ,1998
- ASIC/System Hardware Verification at Nortel: A View from the TrenchesPublished by Springer Nature ,1997
- Non-Uniform Random Variate GenerationPublished by Springer Nature ,1986