System-on-Chip Methodologies & Design Languages
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer US

9781441949011, 9781475732818
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VERIS: An Efficient Model Checker for Synchronous VHDL Designs

2001 ◽  
pp. 97-107
Author(s):  
Yiping Fan ◽  
Jinsong Bei ◽  
Jinian Bian ◽  
Hongxi Xue ◽  
Xianlong Hong ◽  
...  
Keyword(s):  
Model Checker

Functional Verification with Embedded Checkers

2001 ◽  
pp. 71-80
Author(s):  
Scott Switzer ◽  
David Landoll ◽  
Thomas Anderson
Keyword(s):  
Functional Verification ◽  
Embedded Checkers

A Dual Spring System Case-Study Model in Rosetta

2001 ◽  
pp. 161-170
Author(s):  
Peter J. Ashenden ◽  
Perry Alexander ◽  
David L. Barton
Keyword(s):  
Spring System

Automating the Validation of Hardware Description Language Processing Tools

2001 ◽  
pp. 233-244
Author(s):  
Sathyanarayanan Seshadri ◽  
Sanjeev Thiyagarajan ◽  
John Willis ◽  
Gregory D. Peterson
Keyword(s):  
Language Processing ◽  
Hardware Description Language ◽  
Description Language ◽  
Hardware Description
Load More ...
Sign in / Sign up

Export Citation Format

Share Document