Hend Affes, Michel Auguin, François Verdier, Alain Pegatoquet. A methodology for inserting clock-management strategies in transaction-level models of systemon- chips. In 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015. pages 24-30, IEEE, 2015. [doi]
Abstract is missing.