Ingredients for Successful System Level Design Methodology - Patel, Hiren D.; Shukla, Sandeep Kumar; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2008)
Related Work -- Background -- Behavioral Hierarchy with Hierarchical FSMs (HFSMs) -- Simulation Semantics for Heterogeneous Behavioral Hierarchy -- Bluespec ESL and its Co-simulation with SystemC DE -- Model-driven Validation of SystemC Designs -- Service-orientation for Dynamic Integration of Multiple Tools -- Summary Evaluations -- Conclusion and Future work.
Keywords: Electronic circuits; Special purpose computers; Software engineering; Mathematical logic; Circuits and Systems; Special Purpose and Application-Based Systems; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages