A tabular method for guard strengthening, symmetrization and operator reduction for Martin's asynchronous design methodology

Tabrizi, N.Liebelt, Michael J.Eshraghian, Kamran2006-06-192006-06-191997IEEE Transactions on Computers. 46(9):1050-1054http://hdl.handle.net/2440/2310enA tabular method for guard strengthening, symmetrization and operator reduction for Martin's asynchronous design methodologyJournal article0019970532