Back to Search
Start Over
VHDL support for formal verification.
- Source :
-
Computer Design . May1997, Vol. 36 Issue 5, p62. 1/8p. - Publication Year :
- 1997
-
Abstract
- Announces Chrysalis Symbolic Design's VHDL language support for its formal verification products. Chrysalis' suite of formal tools use for verifying designs; Availability of Chrysalis products.
- Subjects :
- *VHDL (Computer hardware description language)
Subjects
Details
- Language :
- English
- ISSN :
- 00104566
- Volume :
- 36
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- Computer Design
- Publication Type :
- Periodical
- Accession number :
- 9709036314