Sciweavers

23436 search results - page 7 / 4688
» Architecture
Sort
View
137
Voted
DAC
1997
ACM
15 years 11 months ago
Synthesis of Application Specific Programmable Processors
Kyosun Kim, Ramesh Karri, Miodrag Potkonjak
135
Voted
DAC
1997
ACM
15 years 11 months ago
Formal Verification in a Commercial Setting
Robert P. Kurshan