1151 search results - page 105 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
139
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
156
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a new method of selecting scan
ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
164
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
132
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
108
click to vote
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...