Design for Testability
Genesys Industries, Intellitech Corporation, Introduction to Design for Testability, LogicVision, Ridgetop Group Inc., VLSI Testing and Design for Testability
Verification
0-In Design Automation, Aptix Corporation, Axis Systems, Dynalith Systems, E language Tutorial, Fintronic USA, IKOS Systems, InnoLogic Symbolic Simulation, Model Technology, specman egroup