IEEE Standard Description Language Based on the VERILOG Hardware Description Language, 1364-1995

Superlog, a unified design language for system-on-chip

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference

Combining Software and Hardware Verification Techniques

Formal Methods in System Design

Optimizing Multiple EDA Tools within the ASIC Design Flow

IEEE Design & Test

The Semantics of Verilog Using Transition System Combinators

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

A Probabilistic Method for the Computation of Testability of RTL Constructs

Proceedings of the conference on Design, automation and test in Europe - Volume 1

Compiling CHR to parallel hardware

Proceedings of the 14th symposium on Principles and practice of declarative programming

Concurrency-aware compiler optimizations for hardware description languages

ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on adaptive power management for energy and temperature-aware computing systems

Improving the performance of message parsers for embedded systems

Proceedings of the 28th Annual ACM Symposium on Applied Computing