Fundamentals of Digital Logic with VERILOG Design

An Architecture for Self-Healing Digital Systems

Journal of Electronic Testing: Theory and Applications

Use of HDLs in teaching of computer hardware courses

WCAE '03 Proceedings of the 2003 workshop on Computer architecture education: Held in conjunction with the 30th International Symposium on Computer Architecture

A purely map procedure for two-level multiple-output logic minimization

International Journal of Computer Mathematics

FPGA-based telecommunications trainer

ICS'08 Proceedings of the 12th WSEAS international conference on Systems

Modeling and FPGA based implementation of a position estimator for control of Switched Reluctance Motors

CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems

Design of IOIM for VME bus based CPU using CPLD for nuclear power plants

Proceedings of the International Conference and Workshop on Emerging Trends in Technology

Header space analysis: static checking for networks

NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation