72 search results - page 10 / 15 » Equivalent design representations and transformations for in... |
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present a method for fast analysis of signal and power integrity based on a recently developed multilayered finite difference method (M-FDM). In order to accurately model m...
ICCAD
1999
IEEE
14 years 26 days ago
1999
IEEE
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
ICCAD
2000
IEEE
14 years 29 days ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
AAAI
1996
13 years 10 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
FASE
2000
Springer
14 years 5 days ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...