dff真值表释义verilog and systemverilog

21 篇文章 1 订阅
13 篇文章 1 订阅

寄存器真值表示例

primitive mydff (q, notifier, clk, d, unstable);
output q;
reg q;
input notifier, clk, d, unstable; //stable on 0 1, unstable on transition

table
//  n  clk  d un q  q+(next)
	*  ?     ? ? : ? : x;            // 当表示timing violation的notifier发生变化,结果一定是x
	? (x1) 0 0 : ? : 0;           // 时钟上升沿 锁存 
	? (x1) 1 0 : ? : 1;           // 时钟上升沿 锁存
	? (x1) 0 1 : 0 : 0;           // 时钟上升沿 锁存
	? (x1) 1 1 : 1 : 1;           // 时钟上升沿 锁存
	? (x1) ? x : ? : -;             //不变
	? (bx) 0 ? : 0 : -;             //无上升沿,不变
	? (bx) 1 ? : 1 : -;             //无上升沿,不变
	? (x0) b ? : ? : -;             //无上升沿,不变
	? (x0) ? x : ? : -;             //无上升沿,不变
	? (01) 0 ? : ? : 0;           // 时钟上升沿 锁存
	? (01) 1 ? : ? : 1;           // 时钟上升沿 锁存
	? (10) ? ? : ? : -;            //无上升沿,不变
	?  b   * ? : ? : -;              //无上升沿,不变
	?  ?   ? * : ? : -;              //不稳定,不变
endtable

endprimitive

1800-2013真值表 标识释义

0 : 逻辑0
1: 逻辑1
x: 不定态
?: 0,1,x遍历
b: 0,1 遍历
-: 无变化
(vw) : 从v变成w

  • : ??
    r : 01
    f : 10
    p: 01 , 0x , x1 遍历
    n : 10, x0, x0 遍历
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值