Title
Tomorrow's Digital Hardware will be Asynchronous and Verified
Abstract
Encouraged by the results of almost a decade of research and experimentation, we claim that tomorrow''s design methods for digital VLSI will be based on a concurrent programming approach to high-level synthesis, asynchronous techniques, and correctness-preserving program transformations.
Year
Venue
Keywords
1992
Tomorrow''s Digital Hardware will be Asynchronous and Verified
high-level synthesis,concurrent programming approach,digital hardware,correctness-preserving program transformation,asynchronous technique,digital vlsi,design method
Field
DocType
Volume
Asynchronous communication,Computer architecture,Computer science,Simulation,Design methods,Concurrent computing,Very-large-scale integration
Conference
12
ISSN
Citations 
PageRank 
0926-5473
4
0.58
References 
Authors
1
1
Name
Order
Citations
PageRank
Alain J. Martin11095336.96