Real Intent、フォ〖マル浮沮とマルチクロックの啼瑪を豺瘋するツ〖ルをデモ
勢柜EDAベンチャ〖のReal Intent家は、黎奉瑣にパシフィコ玻賞で乖われたEDS Fairにおいて、俠妄肋紛の浮沮侯度を弛にするツ〖ルAscentと、剩眶のクロックが苞き彈こすCDC∈clock domain crossing∷啼瑪を豺瘋するツ〖ルMeridianをデモした。辦忍に、俠妄LSI肋紛では、HDLというLSI肋紛脫咐胳で俠妄を淡揭したRTLコ〖ドを今き姜えると、そのコ〖ドに粗般いがないかを浮沮する。浮沮を姜えたら俠妄圭喇ツ〖ルにより攙烯を欄喇する。それを芹彌芹俐に皖とし、シミュレ〖ションで澄千する。
Ascentは、RTLコ〖ドが粗般っていないかどうかを浮沮するためのツ〖ルであり、フォ〖マル浮沮ツ〖ルと鈣ばれている。驕丸は、掐蝸のテストベクタ〖を侯りその叫蝸猛を徒盧猛と孺秤して疙りの銅痰を浮叫していた。これでは侯喇するテストベクタ〖すべての寥み圭わせをカバ〖できない。このため、眶池弄な緘恕を蝗ってすべての寥み圭わせをカバ〖できるようにするのが、呵奪、判眷してきたフォ〖マル浮沮である。このAscentは極瓢弄にフォ〖マル浮沮する。テストベクタ〖を侯る澀妥がない。肋紛したRTLコ〖ドのどこが粗般っているかを叫蝸してくれるため、肋紛莢はデバッグだけを乖えばよい。
AscentにはLint豺老怠墻があり、疙り改疥を回紐する。シンタックス∈菇矢∷や圭喇のミスマッチなどチェックし、緘界も豺老する。チェックするところは、デ〖タバスが頂圭しないか、叫蝸がフロ〖ティングになっていないか、デッドロックがないか、などの覺斗である。
Ascentのようなフォ〖マル浮沮ツ〖ルはタイミングについては鏈く澄千できない。このため、あとの供鎳になる芹彌芹俐ツ〖ルを蝗って俠妄攙烯を悸狠のシリコンに酒き燒けるような覺輪∈悸狠にはまだシリコンに皖とさない∷にしてからタイミングを浮沮してみる。
もう辦つのMeridianは、そのタイミング浮沮ツ〖ルの辦つであり、候海の眶鹼梧のクロックを網脫する剩花なSoCの肋紛浮沮に蝗う。辦つのクロックと侍のクロックが票箕に辦つのゲ〖ト攙烯に掐ると稍惡圭を彈こすことがある。このCDCと鈣ばれる稍惡圭をチェックするのがMeridianである。
CDC∈クロックドメインが蛤わる疥∷は、フロップからフロップへのパスとして年盜され、そこでは流慨フロップが減慨フロップのクロックと潤票袋のクロックによってトリガ〖されている。クロックドメインAとクロックドメインBは高いに潤票袋である。
Meridianは答塑弄なフォ〖マルチェックを乖う。客緘でCDCを斧つけるとすると、絡恃な侯度になる。Meridianは、CDCのテンプレ〖トを侯喇する澀妥はなく、まずクロックドメインが罷哭することを極瓢弄に夸俠する。肌に、CDCが潤票袋で漂いていても潔奧年な覺輪∈1と0の面粗の覺輪で、箕粗が沸つにつれどちらかになる∷なのか奧年な覺輪なのかを夢る。潔奧年であれば、クロックを拇臘する。このようにして、いろいろな攙烯ブロックに畔り、CDCの浮沮を乖い、超霖弄に夸俠し、呵姜弄にシミュレ〖ション馮蔡をまとめる。
極瓢夸俠によるこの數恕は浮沮箕粗を70%沒教できる、と票家家墓敷CEOのPrakash Narain會は咐う。ベンダ〖が肋紛する輝任のIPにもこの緘恕を蝗うことで、CDCデザインが礙いIP瀾墑ではグリッチが斧つかったとしている。
