Sciweavers

DAC
1999
ACM
15 years 13 days ago
Effective Iterative Techniques for Fingerprinting Design IP
While previous watermarking-based approaches to intellectual property protection (IPP) have asymmetrically emphasized the IP provider's rights, the true goal of IPP is to ens...
Andrew E. Caldwell, Hyun-Jin Choi, Andrew B. Kahng...
DAC
1999
ACM
15 years 13 days ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
15 years 13 days ago
A Study in Coverage-Driven Test Generation
Mike Benjamin, Daniel Geist, Alan Hartman, G&eacut...
DAC
1999
ACM
15 years 13 days ago
Constraint Driven Code Selection for Fixed-Point DSPs
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
Steven Bashford, Rainer Leupers
DAC
1999
ACM
15 years 13 days ago
On Thermal Effects in Deep Sub-Micron VLSI Interconnects
Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangio...