Main Menu Home News Search Downloads Pricing Timing Editors Timing Diagram Home DataSheet Pro WaveFormer Pro TimingDiagrammer Pro Features Drawing & Editing Timing Analysis Waveform Block Eqns Analog Waveforms Waveform Equations Batch Mode Display Features Simulated Signals Waveform Translation ...

SynaptiCAD Tutorials (TT)2:Matchalloccurrencesofasimplepattern (TT)2:Matchalloccurrencesofasimplepattern (TT)2:Matchalloccurrencesofasimplepattern one_SIG0 = {SIG0} This sequence matches a single occurrence of SIG0 on the positive edge of CLK0. Since it is a simple Boolean check, its transaction rec...

SynaptiCAD Tutorials (TT) 10: Summary of Transaction Tracker Tutorial (TT) 10: Summary of Transaction Tracker Tutorial (TT) 10: Summary of Transaction Tracker Tutorial Congratulations, you have completed the Transaction Tracker Tutorial. You have viewed most of the basic PSL terms and seen how they ...

SynaptiCAD Tutorials 4)MatchwithconsecutiverepetitionOperator 4)MatchwithconsecutiverepetitionOperator 4)MatchwithconsecutiverepetitionOperator three_SIG0 = {SIG0[*3]} This sequences matches against 3 consecutive matches of SIG0. Note that this sequence could also have been specified as {SIG0;SIG0;S...

SynaptiCAD Tutorials (TT)8:ImplicationNext-Cycleoperator (TT)8:ImplicationNext-Cycleoperator (TT)8:ImplicationNext-Cycleoperator implication_next_cycle = {{SIG0} |=> {SIG0}} This assertion looks very similar to the previous one, but the implication operator |-> has been replaced by the implication_n...