1010 search results - page 119 / 202 » Logics for Contravariant Simulations |
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
CIA
2007
Springer
14 years 2 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
- Power consumption is one of the major challenges in VLSI Design. Power constrained designs need tools to accurately predict the power consumption and provide feedback to designer...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
FSKD
2005
Springer
14 years 1 months ago
2005
Springer
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...