1. Principles of Verifiable RTL Design : a functional coding style supporting verification processes in verilog

by Bening, Lionel | Foster, Harry D.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.395 BEN] (1).
2. Principles of verifiable RTL design : a functional coding style supporting verification processes in verilog

by Bening, Lionel | Foster, Harry D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.392 BEN] (1).
3. Assertion-based design

by Foster, Harry D | Krolnik, Adam C | Lacey, David J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 621.395 FOS] (1).

Powered by Koha