Averest
home overview documentation examples download developers contact

Examples

        1. EulerNumber
        2. Pi
        3. SquareRoot
        1. Float2RealTable
        2. FloatConstants
        3. FloatLes
        4. FloatMult
        1. EuclidMod
        2. EuclidModBin
        3. EuclidSub
        4. EuclidSubBin
        5. ExtEuclid
        1. FullAdd
        2. IntAddCLAOpt
        3. IntAddCRA
        4. IntDivNonperform
        5. IntDivNonrestore
        6. IntDivRestore
        7. IntLes
        8. IntMulBooth
        9. IntMulCRACRA
        10. IntMulCRACRA_V0
        11. IntMulCRACRA_V1
        12. IntMulCSACRA
        13. IntSubCLAOpt
        14. IntSubCRA
        15. LesCell
        16. NatAddCLAOpt
        17. NatAddCRA
        18. NatDivNonperform
        19. NatDivNonrestore
        20. NatDivRestore
        21. NatLes
        22. NatMulCRACRA
        23. NatMulCSACRA
        24. NatSubCLAOpt
        25. NatSubCRA
        1. BrauerChain
        2. ExpChain
        3. Powering
        4. Primality
        5. ReciprocalBeCH
        6. ReciprocalNewton
        7. ReciprocalNewton2
        1. FullAdd
        2. FullAddBC
        3. FullAddInt
        4. FullMul
        5. FullMulBC
        6. FullMulInt
        7. FullSub
        8. FullSubBC
        9. IntAddCRA
        10. IntDivModAlgo
        11. IntDivModSeq0
        12. IntDivModSeq1
        13. IntEqu
        14. IntLes
        15. IntMulCRACRA
        16. IntMulCSACRA
        17. IntSubCRA
        18. NatAddCLA
        19. NatAddCLAOpt
        20. NatAddCRA
        21. NatDivModAlgo
        22. NatDivModNonrestore
        23. NatDivModNonrestoreOpt
        24. NatDivModNonrestoreOptCombRadix2
        25. NatDivModNonrestoreOptRadix2
        26. NatDivModRestore
        27. NatDivModRestoreRadix2
        28. NatDivModSeq0
        29. NatDivModSeq1
        30. NatEqu
        31. NatLes
        32. NatMulCRACRA
        33. NatMulCSACRA
        34. NatSubCLA
        35. NatSubCLAOpt
        36. NatSubCRA
        37. ToBComplement
        38. ToRadixB
        1. DecodeRNS
        1. Int2Sgn
        2. Sgn2Int
        3. Sgn2IntPrinciple
        4. SgnAdd
        5. SgnCmp
        6. SgnEqu
        7. SgnSub
        1. Heron
        2. SquareRoot1
        3. SquareRoot2
        4. SquareRootCeil
      1. FIFO
      2. InterruptibleFIFO
      1. EvalRadixB
      2. EvalRingExpr
      1. AllPairsShortestPaths_ON1
      2. CyclicByTransHull
      3. ExistsStrongUntil
      4. PreSucStates
      5. RootAndLeafs
      6. SCCbyTransHull
      7. TransHull_ON0
      8. TransHull_ON1
      9. TransHull_ON2
      10. TransHull_ON3
      11. TransHull_OlogN
      12. TransHull_OlogNlogN
      1. DecompCholesky
      2. DecompLU
      3. DecompLU2
      4. DecompLUP
      5. DecompQR
      6. DecompQRC
      7. EigenvaluesQR
      8. EigenvaluesShift2QR
      9. EigenvaluesShiftQR
      10. EigenvaluesShiftQRC
      11. GramSchmidt
      12. InverseGaussJordan
      13. LinearEquGaussJordan
      14. LinearEquGaussJordanRat
      15. LinearEquLU
      16. LinearEquLUP
      17. MatrixMultCannon
      18. MatrixMultCombLogN
      19. MatrixMultCombN
      20. MatrixMultSeq
      1. EvalPolynomial
      2. MultPolynomial
      3. PolynomialRootsNewton
      4. PolynomialRootsQR
      1. EditDistance
      2. EditDistanceLinearSpace
      3. EditDistanceParallel
      4. FirstOne
      5. FirstOneOpt
      6. FirstOrderLinearRec
      7. ListRanking1
      8. ListRanking2
      9. ListRanking3
      10. Maximum_O1
      11. Maximum_O1Opt
      12. Maximum_ON
      13. Maximum_OlogN
      14. PrefixSum
      15. PrefixSumOpt
      16. Search_ON
      17. Search_OlogN
      1. BubbleSort
      2. BubbleSortOpt
      3. CombSort
      4. CountSort
      5. CountSortPar
      6. GnomeSort
      7. InsertionSort
      8. MergeSort
      9. MergeSortBitonic
      10. MergeSortOddEven
      11. OddEvenSort
      12. PairwiseSort
      13. PeriodicBalancedSortNet
      14. QuickSort
      15. SelectionSort
      16. ShakerSort
      17. ShearOddEvenSort
      18. ShearSelectionSort
      19. ShellSort
      20. ShellSortNet1
      21. ShellSortNet2
        1. BestKnown
        2. BoseNelson
        3. Green
        4. Hillis
        5. Juille1
        6. Juille2
        7. MergeSortBitonic
        8. MergeSortOddEven
        9. PairwiseSort
        10. PeriodicBalancedSortNet
        11. ShellSort
        12. Swap
      1. DiscreteCosineTransform
      2. FastFourierTransform
      1. ACIA
      2. ATM
      3. Arbiter
      4. Cogar
      5. RSFlipFlop
        1. AndGate
        2. AsyncArbiter
        3. C_Element
        4. Client
        5. CorrectedArbiter
        6. ME_Element
        7. OrGate
        8. OriginalArbiter
        9. OriginalArbiterInContext
        10. Server
        1. AndGate
        2. AsyncArbiterBoch82
        3. AsyncArbiterBoch82CS
        4. C_Element
        5. Client
        6. ME_Element
        7. OrGate
        8. Server
        1. buscontroller
        2. station
        3. system
        4. timer
        1. FDDI
        2. ring
        3. station
        4. timer
          1. Adder8
          2. Assign8
          3. Compare8
          4. CompareLess8
          5. CompareLess8_2
          6. FDDI
          7. counterTest
          8. lesscheck
          9. ring
          10. station
          11. timer
          1. FDDI
          2. Ring
          3. Station
          4. Timer
          1. BakeryProtocol
          2. CriticalSection
          3. EntryProtocol
          4. ExitProtocol
          1. BakeryProtocol
          2. CriticalSection
          3. EntryProtocol
          4. ExitProtocol
          1. BarberShop
          2. FinishHairCut
          3. GetHaircut
          4. NextCustomer
          1. DMA_Arbiter
          1. DMA_Arbiter
          1. Dekker
          1. CriticalSection
          2. EntryProtocol
          3. ExitProtocol
          4. FischerMutex
          1. CriticalSection
          2. EntryProtocol
          3. ExitProtocol
          4. PetersonMutexProtocol
          1. RoundRobinArbiter
          1. CriticalSection
          2. EntryProtocol
          3. ExitProtocol
          4. SpinLockMutexProtocol
          1. CriticalSection
          2. EntryProtocol
          3. ExitProtocol
          4. TicketProtocol
          1. CriticalSection
          2. EntryProtocol
          3. ExitProtocol
          4. TicketProtocol
        1. Channel
        2. Receiver
        3. Sender
        4. Stenning
      1. AikenCode
      2. BCD_FullAdd
      3. CRC
      4. Exzess3Code
      5. GrayCode
      1. BanyanButterfly
      2. BanyanPerfectShuffle
      3. BenesButterfly
      4. OmegaNetwork
        1. FullAdd
        2. IntAddCLAOpt
        3. IntAddCRA
        4. IntDivNonperform
        5. IntDivNonrestore
        6. IntDivRestore
        7. IntLes
        8. IntMulBooth
        9. IntMulCRACRA
        10. IntMulCRACRA_V0
        11. IntMulCRACRA_V1
        12. IntMulCSACRA
        13. IntSubCLAOpt
        14. IntSubCRA
        15. LesCell
        16. NatAddCLAOpt
        17. NatAddCRA
        18. NatDivNonperform
        19. NatDivNonrestore
        20. NatDivRestore
        21. NatLes
        22. NatMulCRACRA
        23. NatMulCSACRA
        24. NatSubCLAOpt
        25. NatSubCRA
        1. AND
        2. EQV
        3. IMP
        4. MUX2
        5. MUX4
        6. MUXN
        7. NAND
        8. NOR
        9. NOT
        10. OR
        11. XOR
        1. BVAND
        2. BVMUX2
        3. BVMUX4
        4. BVMUXN
        5. BVNAND
        6. BVNOR
        7. BVNOT
        8. BVOR
      1. BusArbiter
      2. CacheBus
      3. CacheMESI
      4. Compose
      5. MainMemory
      6. RdWtCPU
      7. SingleCycleScalarBehav
        1. DataConflictsALU
        2. DataConflictsLD
        3. MainMemory
        4. ScalarBehav
        1. ScalarBehav
          1. Decode
          2. Execute
          3. MemAccess
          4. ScalarHW
          5. WriteBack
          1. Decode
          2. Execute
          3. MemAccess
          4. PipeWithConflicts
          5. PipeWithForwarding
          6. PipeWithStalling
          7. WriteBack
        1. CachedMemory
        2. MainMemory
        1. ConvArray01
        2. ConvArray02
        3. ConvArray03
        4. ConvArray04
        1. EditDistance1D
        2. EditDistance1DLiLo
        3. EditDistance2D
        1. EndCell
        2. SortArray
        3. SortCell
          1. KuLL87a
          2. LocDepWarshall
          3. Opt1RotLocDepWarshall
          4. Opt2RotLocDepWarshall
          5. Opt3RotLocDepWarshall
          6. RotLocDepWarshall
          7. RotWarshall
          1. KuLL87aSpiralSFG
          2. PE
          3. SpiralArraySFG
          1. TimedKuLL87a
          2. TimedOpt1RotLocDepWarshall
          3. TimedOpt2RotLocDepWarshall
          4. TimedOpt3RotLocDepWarshall
          5. TimedRotLocDepWarshall
    1. Elevator
    2. VendingMachine
      1. CruiseControl
      2. CruiseMode
      3. ManualMode
      1. Counter
      2. IslandTrafficControl
      3. TrafficLightController
      4. TunnelAccessControl
      1. AlarmSystem
      2. Lamp
      3. LightControl
      4. LightControlSystem
      5. Occupancy
      1. COAirFlowMonitor
      2. MethaneMonitor
      3. MinePumpController
      4. Operator
      5. PumpController
      6. WaterMonitor
    1. Expressions
    2. StaticRecursion
      1. DeepN
      2. McCaw
      3. PseudoCycle
      4. Riedel1
      5. Riedel2
      6. Rivest
      7. Rivest03
      8. Rivest04
      9. Rivest05
      10. Segment7
      11. Sudoku
      12. Z01
      13. Z02
        1. P01
        2. P02
        3. P03
        4. P04
        5. P05
        6. P06
        7. P07
        8. P08
        9. P09
        10. P10
        11. P11
        12. P12
        13. P13
        14. P14
        15. P15
        16. P16
        17. P16a
        18. P17
        19. P18
        20. P19
        21. P20
        22. P21
      1. ABRO
      2. ABRO1
      3. ABRO2
      4. ABRO3
      5. Edwards02
      6. Mandelbrot
      7. Speed
        1. DiningPhilosophers
        2. Fork
        3. Philosopher
        4. PhilosopherSimple
      1. RedoAbort
      2. Trap
      3. TrapVsAbort
      4. TrapVsImmediateAbort
      5. TrapVsWeakAbort
      6. TrapVsWeakImmediateAbort
      7. susp
      8. suspim
      9. suspwk
      10. suspwkim
      1. CondExpr0
      2. CondExpr1
      3. CondExpr2
      4. CondExpr3
      5. CondExpr4
      6. CondExpr5
      7. CondStat0
      8. CondStat1
      9. CondStat2
      10. CondStat3
      11. CondStat4
      12. CondStat5
      13. RTError00
      14. RTError01
      15. RTError02
      16. RTError03
      17. RTError04
      1. Edwards
      2. Gonthier01
      3. Gonthier02
      4. Gonthier03
      5. RedoAbort
      6. SLAP04
      7. SLAP04a
      8. Schizo00
      9. Schizo01
      10. Schizo02
      11. Schizo04
      12. Schizo05
      13. Schizo06
      14. Schizo07
      15. Schizo08
      16. Schizo09
      17. Schizo10
      18. Schizo11
      19. SurfaceSelection1
      20. SurfaceSelection2
      21. SurfaceSelection3
      22. T01
      23. T02
      24. T03
      25. T04
      26. T05
      27. T06
      28. T07
      29. Transfer00
      30. Transfer01
      31. Transfer02
      1. DDWC
      2. IDWC
      3. IIWCafterInit
      4. IIWCatInit
      5. LateWC
      6. NOWC
      7. top
      1. BoundedBuffer
      2. IncDecAdd
      3. SEFM_ExampleA
      4. SEFM_ExampleB1
      5. SEFM_ExampleB2
      6. SEFM_ExampleC1
      7. SEFM_ExampleC2
      8. SEFM_ExampleD
      9. TerminExample04
      10. Termination1
      1. SortingNetworks
      1. AuntAgatha
      2. ChineseRing
      3. CoffeeCan
      4. Collatz
      5. Hanoi
      6. KnightsTour
      7. Lloyd15
      8. PigeonHole
      9. Queens
      10. Ramsey
      11. Rubik
      12. Solitaire
        1. ConnectFour
        2. HasWon
        1. CheckColPerm
        2. CheckColSum
        3. CheckRowPerm
        4. CheckRowSum
        5. MagicSquare
        1. MultiRowNIM
        2. SingleRowNIM
        1. Play
        1. CanMoveDown
        2. CanMoveLeft
        3. CanMoveRight
        4. CanMoveUp
        5. HasLost
        6. HasWon
        7. Level1
        8. Level2
        9. Level3
        10. MoveMinotaur
        11. MoveTheseus
        12. Play
      1. BitwiseOperations
      2. LTL
      3. LTL1
      4. LTL2
      5. Monotonicity
      6. Presburger
      7. SignedBitArithmetic
      8. UnsignedBitArithmetic

           

averest
  averest: home overview documentation examples download contact developers impressum