SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the IFIP WG 10. 2 Seventh International Conference
EditorsCees-Jan Koomen, Tohru Moto-Oka
Place of PublicationJapan
PublisherNorth-Holland
Pages404-417
Number of pages14
ISBN (Print)0444878262
Publication statusPublished - 1 Dec 1985
Externally publishedYes
EventIFIP WG 10. 2 Seventh International Conference - Tokyo, Japan
Duration: 1 Jan 19851 Jan 1985

Conference

ConferenceIFIP WG 10. 2 Seventh International Conference
CountryJapan
CityTokyo
Period1/01/851/01/85

Fingerprint

Hardware
Computer hardware description languages
Simulators
Fabrication
Networks (circuits)

Cite this

Milne, G. J. (1985). SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS. In C-J. Koomen, & T. Moto-Oka (Eds.), Proceedings of the IFIP WG 10. 2 Seventh International Conference (pp. 404-417). Japan: North-Holland.
Milne, George J. / SIMULATION AND VERIFICATION : RELATED TECHNIQUES FOR HARDWARE ANALYSIS. Proceedings of the IFIP WG 10. 2 Seventh International Conference. editor / Cees-Jan Koomen ; Tohru Moto-Oka. Japan : North-Holland, 1985. pp. 404-417
@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 = "12",
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",

}

Milne, GJ 1985, SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS. in C-J Koomen & T Moto-Oka (eds), Proceedings of the IFIP WG 10. 2 Seventh International Conference. North-Holland, Japan, pp. 404-417, IFIP WG 10. 2 Seventh International Conference, Tokyo, Japan, 1/01/85.

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 paperConference 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 -

Milne GJ. SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS. In Koomen C-J, Moto-Oka T, editors, Proceedings of the IFIP WG 10. 2 Seventh International Conference. Japan: North-Holland. 1985. p. 404-417