4482 search results - page 586 / 897 » The Crowdsourcing Design Space |
171
click to vote
ISPD
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
191
click to vote
CEFP
2005
Springer
16 years 9 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
159
click to vote
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
165
click to vote
CIS
2005
Springer
16 years 9 days ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
179
Voted
HVC
2005
Springer
16 years 9 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...