System Verilog for Design: A Guide to Using System Verilog for Hardware Design and Modeling

Combining System Level Modeling with Assertion Based Verification

ISQED '05 Proceedings of the 6th International Symposium on Quality of Electronic Design

Application of the object-oriented principles for hardware and embedded system design

Integration, the VLSI Journal

A high-level requirements engineering methodology for electronic system-level design

Computers and Electrical Engineering

Stimulus generation for constrained random simulation

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design

Intel® atom™ processor core made FPGA-synthesizable

Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification