土曜の昼前にシクロクロス練に出かけた。 場所はいつもの浜。。観光客が一杯。。 盆休みだから仕方ないね。 適当に走って。。疲れたら海に飛び込み。。シャワーを浴びて帰宅した。 獲得距離 7km 到達高度 3m シクロクロス 練習

アサーション技術の本丸はPSLでしょう。。 と言うことでaldecのRiviera-PROで試してみた。 簡単にPSLの解説。。 SVAやOVLより強力なアサーション用の記述言語で verilogソースに入れる事も出来るし、別ファイルとすることも出来る。 物の本には数学的に正確…