HENDERSON, Nev.--(BUSINESS WIRE)--With the introduction of Condition and Path Coverage, Riviera-PRO now provides a complete coverage analysis package, improving productivity for FPGA and ASIC designers.