processor-creative-kit alternatives and similar packages
Based on the "Embedded" category.
Alternatively, view processor-creative-kit alternatives based on common mentions on social networks and blogs.
atom9.6 0.0 processor-creative-kit VS atomA DSL for embedded hard realtime applications.
copilotA (Haskell DSL) stream language for generating hard real-time C code.
ecu8.6 0.0 processor-creative-kit VS ecuUtilities for automotive ECU development.
improveAn imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
verilogA Verilog parser for Haskell.
ion7.2 0.0 processor-creative-kit VS ionAn Ivory library inspired by Atom
copilot-languageA Haskell-embedded DSL for monitoring hard real-time distributed systems.
atom-msp430Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbvSBV backend for Copilot.
copilot-coreIntermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
fault-treeA fault tree analysis library.
copilot-librariesCopilot libraries that use the Copilot language
copilot-cbmccbmc based tool for verifying copilot programs
copilot-c99A C99-backend for Copilot
Static code analysis for 29 languages.
Do you think we are missing an alternative of processor-creative-kit or a related project?
This is a haskell package for playing processors.
You can create your processors with your own instruction set and cpu simulators and development tools.
- easy try, easy modify
- a purely functional CPU core (without IO) (you can embed it anywhere)
- including a very simple prototype assembler
- including a very simple prototype debugger
- including a very simple prototype profiler
- I was inspired from these packages: HARM, powerpc, ministg, hython.
- and many processors, many tools. Thank you.
To expand the source code in your working directory:
$ cd YOUR_WORK_DIRECTORY $ cabal unpack processor-creative-kit
$ tar xvzf processor-creative-kit.tar.gz
Then, install the dependent packages:
$ cabal install --only-dependencies
(ii) run examples
$ runhaskell examples/run.hs examples/test0.asm
pc : 3 gr : [0,100,200,300,0,0,0,0] fl : [False,False] dm : [(0,[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0])]
$ runhaskell examples/trace.hs examples/test0.asm
TrcInst: pc : 0x0 MOVI R1 100 TrcInst: pc : 0x1 MOVI R2 200 TrcInst: pc : 0x2 ADD R3 R1 R2 TrcInst: pc : 0x3 HALT
$ runhaskell examples/prof.hs examples/test0.asm
instruction profile: MOVI 2 ADD 1 HALT 1 total 4 Call target profile: address count (snip)
$ runhaskell examples/idb.hs examples/test0.asm
For help, type "help". (idb) run TrcInst: pc : 0x0 MOVI R1 100 TrcInst: pc : 0x1 MOVI R2 200 TrcInst: pc : 0x2 ADD R3 R1 R2 TrcInst: pc : 0x3 HALT (idb) info reg pc : 3 gr : [0,100,200,300,0,0,0,0] fl : [False,False] (idb) x/8 0 0x00000000: 0x00000000 0x00000000 0x00000000 0x00000000 0x00000004: 0x00000000 0x00000000 0x00000000 0x00000000 (idb) b 1 Num Enb What 1 y PC == 1 (PC == 0x1) (idb) run TrcInst: pc : 0x0 MOVI R1 100 (idb) s TrcInst: pc : 0x1 MOVI R2 200 (idb) s TrcInst: pc : 0x2 ADD R3 R1 R2 (idb) help List of commands: q -- Exit debugger help -- Print list of commands run -- Start debugged program s -- Step program c -- Continue program being debugged x -- Examin memory: x(/COUNT) ADDRESS info reg -- List of registers disas -- Disassemble: disassemble (ADDRESS) info b -- Status of breakpoints disable -- Disable breakpoint: disable NUMBER enable -- Enable breakpoint: enable NUMBER delete -- Delete breakpoint: delete NUMBER b -- Set breakpoint: b ADDRESS watch -- Set a watchpoint. example: data memory -- watch *0x80 != 10 pc -- watch pc > 3 register -- watch r7 == 3 p -- Print memory value: p *ADDRESS p -- Set memory value: p *ADDRESS = VALUE (idb) q
(iii) add instructions
add an negative instruction (
insert following lines:
[Language/Pck/Cpu/Instruction.hs] ... internal representation on the cpu
| NEG GReg GReg
[Language/Pck/Cpu/Execution.hs] ... internal behavior on the cpu
evalStep (NEG ra rb) = uniopInst (*(-1)) ra rb
[Language/Pck/Tool/Assembler.hs] ... assembler format
<|> inst2 NEG "neg" greg greg
- How to use the API (docs/1_HowToUseAPI.md)
- How to create your processors (docs/2_HowToCreate.md)
- hackage processor-creative-kit
Default processor architecture
- Harvard architecture. (instruction and data memories are splitted)
- fixed length instruction (word length)
- word addressing (not byte addressing)
- ideal immediate length (an immediate can be set by one instruction)
- no FPU, MMU, cache, privilege level, interruption, I/O, and any
- using the slow container(Data.Array) for simple implementation.