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
        26. SgnAdd
        27. SgnEqu
        28. SgnFullAdd
        29. SgnLes
        30. SgnSub
        1. BrauerChain
        2. ExpChain
        3. Powering
        4. Primality
        5. ReciprocalBeCH
        6. ReciprocalNewton
        7. ReciprocalNewton2
        1. FullAdd
        2. FullAddBC
        3. FullAddBCWord
        4. FullAddInt
        5. FullAddWord
        6. FullMul
        7. FullMulBC
        8. FullMulInt
        9. FullSub
        10. FullSubBC
        11. FullSubBCWord
        12. FullSubWord
        13. IntAddCRA
        14. IntDivModAlgo
        15. IntDivModSeq0
        16. IntDivModSeq1
        17. IntEqu
        18. IntLes
        19. IntMulCRACRA
        20. IntMulCSACRA
        21. IntSubCRA
        22. NatAddCLA
        23. NatAddCLAOpt
        24. NatAddCRA
        25. NatDivModAlgo
        26. NatDivModNonrestore
        27. NatDivModNonrestoreOpt
        28. NatDivModNonrestoreOptCombRadix2
        29. NatDivModNonrestoreOptRadix2
        30. NatDivModRestore
        31. NatDivModRestoreRadix2
        32. NatDivModSeq0
        33. NatDivModSeq1
        34. NatEqu
        35. NatLes
        36. NatMulCRACRA
        37. NatMulCSACRA
        38. NatSubCLA
        39. NatSubCLAOpt
        40. NatSubCRA
        41. ToBComplement
        42. ToRadixB
        1. DecodeRNS
        1. Int2Sgn
        2. Sgn2Int
        3. Sgn2IntPrinciple
        4. SgnAdd
        5. SgnCmp
        6. SgnEqu
        7. SgnLes
        8. 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
        26. SgnAdd
        27. SgnEqu
        28. SgnFullAdd
        29. SgnLes
        30. SgnSub
        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. ADDS
        2. ADDU
        3. BusConnect
        4. BusRegConnect
        5. CPU
        6. DIVS
        7. DIVU
        8. MULS
        9. MULU
        10. REG
        11. SUBS
        12. SUBU
        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. Causality
      2. Fibonacci
      3. PowersOf2
      4. Signal00
      5. Signal01
      6. Signal02
      7. Signal03
      8. Signal04
        1. Add
        2. Buf
        3. BufBool
        4. CpyIn
        5. CpyInBool
        6. CpyOut
        7. Dec
        8. Default
        9. Fby
        10. Inc
        11. Merge
        12. Not
        13. NotEqual
        14. Switch
        15. When
        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. JosephinesProblem
          2. Wife
          1. Robot01
          2. Robot02
            1. WiseMan
            2. WiseMen
            1. WiseMan
            2. WiseMen
        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