Similar to 形式的検証
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プロセス計算
Process calculus
ペトリネット
Petri net
文字列書き換え系
Semi-Thue system
モンデックスカード
Mondex
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
デジタル回路
Digital electronics
Template:論理ゲート
CPLD
Complex programmable logic device
Diode–transistor logic
Diode–transistor logicDirect-coupled transistor logic
Direct-coupled transistor logic
FIFO
FIFO (computing and electronics)
FPGA
Field-programmable gate array
LIFO
LIFO
One-hot
One-hot
IPコア
Semiconductor intellectual property core
アナログ-デジタル変換回路
Analog-to-digital converter
演算装置
Arithmetic logic unit
オープンコレクタ
Open collector
オンチップ・エミュレータ
カウンタ (電子回路)
Counter (digital)
加算器
Adder (electronics)
カルノー図
Karnaugh map
クロックスキュー
Clock skew
クロック同期設計
Synchronous circuit