Sciweavers

12 search results - page 3 / 3
» Comfusy: A Tool for Complete Functional Synthesis
Sort
View
SIGSOFT
2001
ACM
14 years 7 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
FPGA
2008
ACM
142views FPGA» more  FPGA 2008»
13 years 7 months ago
Modeling routing demand for early-stage FPGA architecture development
Architecture development for FPGAs has typically been a very empirical discipline, requiring the synthesis of benchmark circuits into candidate architectures. This is difficult to...
Wei Mark Fang, Jonathan Rose