組み込み系では神様って呼ばれてる人 http://elm-chan.org/

いろんな事例が書いてある。後で見る。 http://csg.csail.mit.edu/pubs/publications.html

ESL用の言語で設計者向け。 http://www.cybernet.co.jp/bluespec/documents/01_BluespecOverview.pdf

assign sum = a + (* CLA=1 *) b; Verilog2001からの記述で上のような書き方がある。何をしているかというと属性をつけ、論理合成などのソフトに知らせるため。たとえばALTERAのQuartus IIに色々と記述されている。 （http://www.altera.co.jp/literature/hb…