Abstract
Perhaps the most significant use of a Hardware Description Language is for the analysis of circuit designs before fabrication. While simulators that utilise HDL's are the usual analytical tool we show here how the CIRCAL model of device behaviour creates a framework incorporating verification by correctness proof, validation by simulation and other analytical techniques. The limitations of exhaustive simulation make the establishment of design correctness by verification proof a desired goal for the future. Simulation will however always have an important role to play in design analysis and the relationship between simulation and verification is explored and presented.
Original language | English |
---|---|
Title of host publication | Proceedings of the IFIP WG 10. 2 Seventh International Conference |
Editors | Cees-Jan Koomen, Tohru Moto-Oka |
Place of Publication | Japan |
Publisher | North-Holland |
Pages | 404-417 |
Number of pages | 14 |
ISBN (Print) | 0444878262 |
Publication status | Published - 1 Dec 1985 |
Externally published | Yes |
Event | IFIP WG 10. 2 Seventh International Conference - Tokyo, Japan Duration: 1 Jan 1985 → 1 Jan 1985 |
Conference
Conference | IFIP WG 10. 2 Seventh International Conference |
---|---|
Country | Japan |
City | Tokyo |
Period | 1/01/85 → 1/01/85 |
Fingerprint
Cite this
}
SIMULATION AND VERIFICATION : RELATED TECHNIQUES FOR HARDWARE ANALYSIS. / Milne, George J.
Proceedings of the IFIP WG 10. 2 Seventh International Conference. ed. / Cees-Jan Koomen; Tohru Moto-Oka. Japan : North-Holland, 1985. p. 404-417.Research output: Chapter in Book/Conference paper › Conference paper
TY - GEN
T1 - SIMULATION AND VERIFICATION
T2 - RELATED TECHNIQUES FOR HARDWARE ANALYSIS.
AU - Milne, George J.
PY - 1985/12/1
Y1 - 1985/12/1
N2 - Perhaps the most significant use of a Hardware Description Language is for the analysis of circuit designs before fabrication. While simulators that utilise HDL's are the usual analytical tool we show here how the CIRCAL model of device behaviour creates a framework incorporating verification by correctness proof, validation by simulation and other analytical techniques. The limitations of exhaustive simulation make the establishment of design correctness by verification proof a desired goal for the future. Simulation will however always have an important role to play in design analysis and the relationship between simulation and verification is explored and presented.
AB - Perhaps the most significant use of a Hardware Description Language is for the analysis of circuit designs before fabrication. While simulators that utilise HDL's are the usual analytical tool we show here how the CIRCAL model of device behaviour creates a framework incorporating verification by correctness proof, validation by simulation and other analytical techniques. The limitations of exhaustive simulation make the establishment of design correctness by verification proof a desired goal for the future. Simulation will however always have an important role to play in design analysis and the relationship between simulation and verification is explored and presented.
UR - http://www.scopus.com/inward/record.url?scp=0022249988&partnerID=8YFLogxK
M3 - Conference paper
SN - 0444878262
SP - 404
EP - 417
BT - Proceedings of the IFIP WG 10. 2 Seventh International Conference
A2 - Koomen, Cees-Jan
A2 - Moto-Oka, Tohru
PB - North-Holland
CY - Japan
ER -