出典: くみこみックス
版間での差分
2009年3月13日 (金) 07:49の版
形式的検証【Formal Verification】
ゲーテッド・クロック(Gated Clock)
クロック信号の供給をコントロールする回路.クロック入力部に,別の制御信号を入力したゲート回路(たとえばANDやOR)を挿入する.
ゲーテッド・クロックを使用すると,同期式の論理回路において,クロック信号を必要な箇所に,必要な期間だけ供給できる.消費電力の低減を期待できる.
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.
関連項目