A tabular method for guard strengthening, symmetrization, and operator reduction for Martin's asynchronous design methodology
2020 ◽
Vol 29
(1)
◽
pp. 68-73
Keyword(s):
2003 ◽
Vol 84
(2)
◽
pp. 303-303
Keyword(s):
2018 ◽
Vol 14
(4)
◽
pp. 281-291
◽
Keyword(s):