Sciweavers

DAC
1999
ACM
14 years 5 months 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
14 years 5 months ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
14 years 5 months ago
A Study in Coverage-Driven Test Generation
Mike Benjamin, Daniel Geist, Alan Hartman, G&eacut...
DAC
1999
ACM
14 years 5 months 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
14 years 5 months ago
On Thermal Effects in Deep Sub-Micron VLSI Interconnects
Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangio...