NoBug is an expert digital design verification company that masters a full range of technologies (functional, formal, and assertion-based) with a variety of tools (Specman, RuleBase, Vera, SystemVerilog, Verilog-PLI/C). NoBug's activity covers 3 dire