Fast hierarchical multi-level fault simulation of sequential circuits with switch-level accuracy
DAC '93 Proceedings of the 30th international Design Automation Conference
100-hour design cycle: a test case
EURO-DAC '94 Proceedings of the conference on European design automation
Tool integration and construction using generated graph-based design representations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
An observability-based code coverage metric for functional simulation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Verification techniques for cache coherence protocols
ACM Computing Surveys (CSUR)
Recent developments in high-level synthesis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Functional design for testability of control-dominated architectures
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EXPLORER: a retargetable and visualization-based trace-driven simulator for superscalar processors
MICRO 26 Proceedings of the 26th annual international symposium on Microarchitecture
Limited exception modeling and its use in presynthesis optimizations
DAC '97 Proceedings of the 34th annual Design Automation Conference
Toward formalizing a validation methodology using simulation coverage
DAC '97 Proceedings of the 34th annual Design Automation Conference
Java as a specification language for hardware-software systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
DAC '98 Proceedings of the 35th annual Design Automation Conference
An analysis-based approach to composition of distributed embedded systems
Proceedings of the 6th international workshop on Hardware/software codesign
Peer-based multithreaded executable co-specification
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Simulation vector generation from HDL descriptions for observability-enhanced statement coverage
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A two-state methodology for RTL logic simulation
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A codesign virtual machine for hierarchical, balanced hardware/software system modeling
Proceedings of the 37th Annual Design Automation Conference
A VHDL error simulator for functional test generation
DATE '00 Proceedings of the conference on Design, automation and test in Europe
A new partitioning scheme for improvement of image computation
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Modeling and evaluation of hardware/software designs
Proceedings of the ninth international symposium on Hardware/software codesign
Kava: a Java dialect with a uniform object model for lightweight classes
Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CoMGen: Direct Mapping of Arbitrary Components into LUT-Based FPGAs
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
A New Placement Method for Direct Mapping into LUT-Based FPGAs
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
PACT HDL: a compiler targeting ASICS and FPGAS with power and performance optimizations
Power aware computing
TDL: a hardware description language for retargetable postpass optimizations and analyses
Proceedings of the 2nd international conference on Generative programming and component engineering
CISL: a class-based machine description language for co-generation of compilers and simulators
International Journal of Parallel Programming - Special issue: The next generation software program
CASL: A rapid-prototyping language for modern micro-architectures
Computer Languages, Systems and Structures
A pointcut-based assertion for high-level hardware design
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Processor Description Languages
Processor Description Languages
Semantics and verification of a language for modelling hardware architectures
Formal methods and hybrid real-time systems
ASystemC: an AOP extension for hardware description language
Proceedings of the tenth international conference on Aspect-oriented software development companion
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
Palovca: describing and executing graph algorithms in haskell
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.01 |