ElectraIC is an exclusive reseller of Blue Pearl Software Company. 
Blue Pearl Software’s Visual Verification Suite is a RTL verification solution that accelerates the development of high-reliability RTL for FPGAs and ASICs to ensure safe and robust avionics equipment. With its built-in DO-254 verification package the Visual Verification Suite is customer proven to significantly reduce design and verification cycles while helping to avoid costly late design modification and has become integral to FPGA and ASIC development at top Aerospace and Defense companies today.

Static RTL Verification - Do254 Video