Edge ditect for combination logic on verification

It would be pickup-ed delta edge by using posedge.
So, add another condition as follows.


@(posedge signal && signal !== 1'bx or negedge signal && signal !== 1'bx)

2017-06-08 : Work-Product-Verification : コメント : 0 : トラックバック : 0
Pagetop
コメントの投稿
非公開コメント

Pagetop
« next  ホーム  prev »

プロフィール

zive

Author:zive
大阪在住、男

ブログ検索

月別アーカイブ

FC2カウンター