ISA定義 アーキテクチャ定義　ドキュメント数千ページある チップ仕様策定 RTL記述（Verilog、SystemVerilog） RTL検証（PSL、SVA、UVM、tcl） 論理合成、タイミング検証（tcl） レイアウト ...