CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
- Polanski, A.A.; Sosnin, A.N.: Monte Carlo modeling of secondary neutron and proton fluxes from the surface of subcritical assemblies under irradiation with high energy proton beams (2008)
- Chiralaksanakul, Anukal; Mahadevan, Sankaran: Decoupled approach to multidisciplinary design optimization under uncertainty (2007)
- Vogler, W.; Kangsah, B.: Improved decomposition of signal transition graphs (2007)
- Jung, H.: The CCFM Monte Carlo generator CASCADE (2002)
- Vogler, Walter; Wollowski, Ralf: Decomposition in asynchronous circuit design (2002)
- McKenna, Elizabeth; Smyth, Barry: An interactive visualisation tool for case-based reasoners (2001)
- Beister, Jochen; Eckstein, Gernot; Wollowski, Ralf: CASCADE: A tool kernel supporting a comprehensive design method for asynchronous controllers (2000)
- Chockler, Gregory; Friedman, Roy; Vitenberg, Roman: Consistency conditions for a CORBA caching service (2000)