2011年1月27日、Actelのアンチヒューズ・ベースFPGAを提供するMicrosemiは、同社のFPGA設計フローでSynopsysの高位合成「Synphony」が利用可能となった事を発表した。

http://www.eda-express.com/2011/02/microsemiactel-fpgasynopsyssynphony.html

The Power of Assertions in SystemVerilog

Open Verification Methodology Cookbook

ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)

Creating Assertion-Based IP (Integrated Circuits and Systems)