Efficient Encoding for Exact Symbolic AutomataBased基于精确符号自动机的高效编码.pptVIP

NDFA Based Scheduling Forrest Brewer, Steve Haynal University of California Santa Barbara Scheduling is Behavioral Synthesis Exploits fundamental freedom -- ordering and binding of operations, operands Subdivided into DFG transformation, resource allocation, time-scheduling, operation binding, memory binding, communication binding, resource modeling, reallocation... Complexity of tasks requires top-down flow -- yet evaluations/constraints are bottom-up Behavioral Synthesis difficult to use! Seemingly trivial changes cause vast output changes Design tradeoffs tied to a particular point language (~VHDL, ~Verilog, Silage, Esterel...) No direct control of implementation No direct control of binding, mapping No distinction between problem statement and constraints No canonical representation of design space Fundamental problem covers enormous scope Universality issues in specification How to capture design mapping knowledge? How to create verifiable design representation without canonical model? Simpler Problem Assume Designer creates the design Support incremental refinement of design at all levels of representation Support incremental design synthesis when possible Provide well defined hierarchy on which to place constraints, trial implementations ... Provide mechanism for subsystem abstraction, modeling and evaluation at each level How to do this? Drop representation distinction between logic, module, and sub-system levels Drop potential for universality in internal representations Create mechanism for automatic design abstraction within designers design decomposition Use efficient representation of fundamental model Provide feedback to designer for evaluating both the design itself and the representation Where do we start? Interface Protocols are key complexity growth problem Designer constructs system model with abstract protocols, required data-flows, possible maps Generalize scheduling to provide possible sequencing of sub-systems into systems meeting external p