Invited paper:Checking sequences for the control unit in digital circuits described by means of register transfer languages
1987 ◽
Vol 134
(2)
◽
pp. 69
◽
1992 ◽
Vol 35
(1-5)
◽
pp. 167-172
◽
1982 ◽
Vol 40
◽
pp. 182-185
Keyword(s):
1959 ◽
Vol 106
(16S)
◽
pp. 688-697
◽
Keyword(s):
1988 ◽
Vol 49
(C2)
◽
pp. C2-459-C2-462
◽
2016 ◽
Vol 26
(3)
◽
pp. 325-335
2004 ◽
Vol 62
(11)
◽
pp. 953-960