1151 search results - page 65 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
127
Voted
CSCWD
2009
Springer
15 years 10 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
135
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
163
click to vote
TII
2010
14 years 10 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...
142
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
114
click to vote
JUCS
2008
15 years 4 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...