Liveness and Boundedness of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk

Browse the full FMCAD paper archive.