Refinement strategies for verification methods based on datapath abstraction

Zaer S. Andraus; Mark H. Liffiton; Karem A. Sakallah

doi:10.1145/1118299.1118306

Refinement strategies for verification methods based on datapath abstraction

Zaer S. Andraus, Mark H. Liffiton, Karem A. Sakallah

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the ASP-DAC 2006
Subtitle of host publication	Asia and South Pacific Design Automation Conference 2006
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	19-24
Number of pages	6
ISBN (Print)	0780394518, 9780780394513
DOIs	https://doi.org/10.1145/1118299.1118306
State	Published - 2006
Externally published	Yes
Event	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 - Yokohama, Japan Duration: Jan 24 2006 → Jan 27 2006

Publication series

Name	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Volume	2006

Conference

Conference	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006
Country/Territory	Japan
City	Yokohama
Period	1/24/06 → 1/27/06

ASJC Scopus Subject Areas

Computer Science Applications
Computer Graphics and Computer-Aided Design
Electrical and Electronic Engineering

Access to Document

10.1145/1118299.1118306

Cite this

Andraus, Z. S., Liffiton, M. H., & Sakallah, K. A. (2006). Refinement strategies for verification methods based on datapath abstraction. In Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 (pp. 19-24). Article 1594639 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2006). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/1118299.1118306

Refinement strategies for verification methods based on datapath abstraction. / Andraus, Zaer S.; Liffiton, Mark H.; Sakallah, Karem A.
Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. Institute of Electrical and Electronics Engineers Inc., 2006. p. 19-24 1594639 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Andraus, ZS, Liffiton, MH & Sakallah, KA 2006, Refinement strategies for verification methods based on datapath abstraction. in Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006., 1594639, Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, vol. 2006, Institute of Electrical and Electronics Engineers Inc., pp. 19-24, ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006, Yokohama, Japan, 1/24/06. https://doi.org/10.1145/1118299.1118306

Andraus ZS, Liffiton MH, Sakallah KA. Refinement strategies for verification methods based on datapath abstraction. In Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. Institute of Electrical and Electronics Engineers Inc. 2006. p. 19-24. 1594639. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). doi: 10.1145/1118299.1118306

Andraus, Zaer S. ; Liffiton, Mark H. ; Sakallah, Karem A. / Refinement strategies for verification methods based on datapath abstraction. Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. Institute of Electrical and Electronics Engineers Inc., 2006. pp. 19-24 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

@inproceedings{1ddb1884e52d478f9cc8417dc39ecc1a,

title = "Refinement strategies for verification methods based on datapath abstraction",

author = "Andraus, {Zaer S.} and Liffiton, {Mark H.} and Sakallah, {Karem A.}",

year = "2006",

doi = "10.1145/1118299.1118306",

language = "English",

isbn = "0780394518",

series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "19--24",

booktitle = "Proceedings of the ASP-DAC 2006",

note = "ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 ; Conference date: 24-01-2006 Through 27-01-2006",

}

TY - GEN

T1 - Refinement strategies for verification methods based on datapath abstraction

AU - Andraus, Zaer S.

AU - Liffiton, Mark H.

AU - Sakallah, Karem A.

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?scp=33748597091&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33748597091&partnerID=8YFLogxK

U2 - 10.1145/1118299.1118306

DO - 10.1145/1118299.1118306

M3 - Conference contribution

AN - SCOPUS:33748597091

SN - 0780394518

SN - 9780780394513

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 19

EP - 24

BT - Proceedings of the ASP-DAC 2006

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006

Y2 - 24 January 2006 through 27 January 2006

ER -

Refinement strategies for verification methods based on datapath abstraction

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this