+612 9045 4394
 
CHECKOUT
Advances in Hardware Design and Verification : IFIP Advances in Information and Communication Technology - H.F. Li

Advances in Hardware Design and Verification

IFIP Advances in Information and Communication Technology

By: H.F. Li (Editor), D.K. Probst (Editor)

Hardcover

Published: December 2009
Ships: 7 to 10 business days
7 to 10 business days
RRP $576.99
$399.25
31%
OFF
or 4 easy payments of $99.81 with Learn more
if ordered within

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

Preface
Invited Lecture: ASIC/system hardware verification at Nortel: a view from the trenchesp. 1
Proving the correctness of the interlock mechanism in processor designp. 5
Verifying out-of-order executionsp. 23
Formal modeling and validation applied to a commercial coherent bus: a case studyp. 48
An approach to Verilog-VHDL interoperability for synchronous designsp. 65
A polymodal semantics for VHDLp. 88
A semantic model for VHDL-AMSp. 106
Invited Lecture: Model checking without hardware driversp. 127
Efficient CTL* model checking for analysis of rainbow designsp. 128
Symbolic model checking for a discrete clocked temporal logic with intervalsp. 146
A parallel approach to symbolic traversal based on set partitioningp. 167
Implementation of a multiple-domain decision diagram packagep. 185
Using induction and BDDs to model check invariantsp. 203
Invited Lecture: CheckOff-M: model checking and its role in IPp. 217
On the non-termination of MDGs-based abstract state enumerationp. 218
Simulation-based verification of network protocols performancep. 236
Integrated reasoning support in system design: design derivation and theorem provingp. 255
Hardware compilation using attribute grammarsp. 273
Automatic post-synthesis verification support for a high level synthesis step by using the HOL theorem proving systemp. 291
Panel: Is there a crisis in hardware verification?p. 309
Index of contributorsp. 311
Keyword indexp. 313
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412813306
ISBN-10: 0412813300
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 313
Published: December 2009
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 1.9
Weight (kg): 1.4