273 search results - page 28 / 55 » Automated Composition of Hardware Components |
DAC
2006
ACM
16 years 23 days ago
2006
ACM
This paper describes an ultra low power active RFID tag and its automated design flow. RFID primitives to be supported by the tag are enumerated with RFID macros and the behavior ...
102
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we use the CoDeL platform to develop test circuits and analyze the potential and performance impact of power gating individual registers. For each register, we e...
187
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
92
Voted
AAAI
2000
15 years 1 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...