PakCat catalogue record System Verilog for verification By Spear, Chris Bibliographic details PublisherSpringer Publication placeNew Delhi