Sciweavers

DAC
2000
ACM
16 years 8 months ago
Efficient error detection, localization, and correction for FPGA-based debugging
John Lach, William H. Mangione-Smith, Miodrag Potk...
DAC
2000
ACM
16 years 8 months ago
YAPI: application modeling for signal processing systems
Erwin A. de Kock, W. J. M. Smits, Pieter van der W...
DAC
2000
ACM
16 years 8 months ago
Forensic engineering techniques for VLSI CAD tools
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
Darko Kirovski, David T. Liu, Jennifer L. Wong, Mi...
DAC
2000
ACM
16 years 8 months ago
Convex delay models for transistor sizing
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
Mahesh Ketkar, Kishore Kasamsetty, Sachin S. Sapat...
DAC
2000
ACM
16 years 8 months ago
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima...