33 search results - page 3 / 7 » Efficient Rule Base Verification Using Binary Decision Diagr... |
136
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
114
Voted
ICCD
2006
IEEE
16 years 17 days ago
2006
IEEE
—In-place flipping of rectangular blocks/cells can potentially reduce the wirelength of a floorplan/placement solution without changing the chip area, In a recent work [Hao 05], ...
147
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
116
Voted
IJCAI
2001
15 years 5 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
129
Voted
JUCS
2010
15 years 2 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...