SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.

George J. Milne

SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.

Research output: Chapter in Book/Conference paper › Conference paper

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

Access to Document

Link to publication in Scopus

Fingerprint Dive into the research topics of 'SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.'. Together they form a unique fingerprint.

Cite this

@inproceedings{81cb133b603e453480590237381bd1f1,

title = "SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.",

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.",

author = "Milne, {George J.}",

year = "1985",

month = dec,

day = "1",

language = "English",

isbn = "0444878262",

pages = "404--417",

editor = "Cees-Jan Koomen and Tohru Moto-Oka",

booktitle = "Proceedings of the IFIP WG 10. 2 Seventh International Conference",

publisher = "North-Holland",

note = "IFIP WG 10. 2 Seventh International Conference ; Conference date: 01-01-1985 Through 01-01-1985",

}

TY - GEN

T1 - SIMULATION AND VERIFICATION

T2 - IFIP WG 10. 2 Seventh International Conference

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

AN - SCOPUS:0022249988

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

Y2 - 1 January 1985 through 1 January 1985

ER -