CIRCT
18.0.0git

Go to the source code of this file.
Namespaces  
circt  
This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.  
circt::scheduling  
Typedefs  
using  circt::scheduling::HandleOpFn = std::function< LogicalResult(Operation *)> 
Functions  
LogicalResult  circt::scheduling::handleOperationsInTopologicalOrder (Problem &prob, HandleOpFn fun) 
Visit prob's operations in topological order, using an internal worklist. More...  
LogicalResult  circt::scheduling::computeChainBreakingDependences (ChainingProblem &prob, float cycleTime, SmallVectorImpl< Problem::Dependence > &result) 
Analyse combinational chains in prob's dependence graph and determine pairs of operations that must be separated by at least one time step in order to prevent the accumulated delays exceeding the given cycleTime . More...  
LogicalResult  circt::scheduling::computeStartTimesInCycle (ChainingProblem &prob) 
Assuming prob is scheduled and contains (integer) start times, this method fills in the start times in cycle in an ASAP fashion. More...  
void  circt::scheduling::dumpAsDOT (Problem &prob, StringRef fileName) 
Export prob as a DOT graph into fileName . More...  
void  circt::scheduling::dumpAsDOT (Problem &prob, raw_ostream &stream) 
Print prob as a DOT graph onto stream . More...  