796 search results - page 93 / 160 » An Overview of Separation Logic |
107
Voted
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
112
click to vote
MTDT
2003
IEEE
15 years 6 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
103
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
82
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
In a paper presented last year at WMPP’01 [Walker01], we described the initial prototype of an associative processor implemented using field-programmable logic devices (FPLDs). ...
116
click to vote
JOT
2008
15 years 20 days ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...