Sciweavers

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