Skip to content

wepsim/wepsim

Repository files navigation

WepSIM: Web Elemental Processor Simulator

Build Status Maintainability codebeat badge Codacy Badge License: LGPL v3 Release

Table of contents

Getting WepSIM

1) Run WepSIM

  • From Web, please:

  • From Linux/Unix command line, please:

    • Check you have installed Node v16.10+, and Bash 4.4.19+:
      sudo apt-get install nodejs npm bash -y
    • Get WepSIM by executing:
      wget https://github.com/wepsim/wepsim/releases/download/v2.3.1/wepsim-2.3.1.zip
      unzip wepsim-2.3.1.zip
      cd wepsim-2.3.1
      npm install terser jq jshint yargs clear inquirer fuzzy inquirer-command-prompt inquirer-autocomplete-prompt
    • Execute wepsim.sh with the help flag in order to show the available command switches:
      ./wepsim.sh -h
Step iOS Android Action to perform
1 screen:pwa_ios screen:pwa_android First, open Safari (iOS, MacOS) or Chrome (Android, Windows, Linux) and load https://wepsim.github.io/wepsim.
From the top-right corner, tap on the share icon (Safari) or the menu icon (Chrome).
2 screen:pwa_ios screen:pwa_android Move within share options until 'add to home screen' option and click on it.
3 screen:pwa_ios screen:pwa_android Finally, click in the 'add' option.
4 screen:pwa_ios screen:pwa_android Then, WepSIM can be launched from the home screen icon.

A) Steps to execute a WepSIM example

  1. First, we need to load WepSIM in your favorite web browser. Then click on the Examples button to open the Examples dialog: screen:example1
  2. In the Examples dialog, please click on the colored 'title' of the example and WepSIM will load and compile the associated microcode and assembly code: screen:example2
  3. In the simulator workspace you can execute step by step and analyze the state of the components. It is possible to work both, at assembly level or at microcode level: screen:simulation1

B) Typical workflow to modify an existing example or build your own experiment

  1. First, we need to load WepSIM in your web browser. Then you should go to the microcode editor workspace: screen:firmware1
  2. You can load an existing microcode or edit a new one. You have to microcompile the microcode to load the binary into the CPU's control memory: screen:firmware2
  3. Next, you could go to the assembly editor workspace. In the editor workspace you can load an existing assembly code or edit a new one: screen:firmware3
  4. The instructions set defined in the previous microcode is used to create your assembly code. You have to compile the assembly code to load the binary into the main memory: screen:assembly1
  5. Finally, go back to the simulator workspace, and you can execute step by step and analyze the state of the components. It is possible to work at assembly level or at microcode level: screen:simulation cpu

C) Step to change the WepSIM configuration

  • From the general toolbar, the configuration button allows users to personalize several options: screen:configuration
  • From the general toolbar, please use the left-upper slider to change the CPU/CU size: screen:configuration

D) Typical steps to use the "State Management" in WepSIM

  • The value of every visible hardware element is the state in a clock cycle. WepSIM has also a 'state management' dialog where users can see the current state, and check the differences between the two states.
  • From the execution toolbar, please click over the 'state' button to show the state manager dialog: screen:configuration

A) Run (and print the final state)

  • From the command line it is possible to 'run' the 's1e1.asm' assembly for the 'ep' architecture with the 'ep_base.mc' microcode, and print the final state:
./wepsim.sh -a run -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e5.asm
register R9 = 0x1; register R10 = 0x2; register R29 = 0x100000; memory 0x8000 = 0x9200001; memory 0x8004 = 0x9400002; memory 0x8008 = 0x412a0004; memory 0x800c = 0x30000004; memory 0x8010 = 0x52a0000; memory 0x8014 = 0x9200001; memory 0x8018 = 0x9400002; memory 0x801c = 0x3d2a0004; memory 0x8020 = 0x52a0000; memory 0x8024 = 0x9200001; memory 0x8028 = 0x9400002; memory 0x802c = 0x3d2a0004; memory 0x8030 = 0x30000000; memory 0x8034 = 0x57e00000; 

B) Run step by step

  • It is also possible to 'run' 'step by step' the 's1_e1.asm' assembly for the 'ep' architecture with the 'ep_base.mc' microcode, and print for each assembly instruction the state elements that modify its value:
./wepsim.sh -a stepbystep -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e1.asm
pc,		instruction,			changes_from_zero_or_current_value
pc = 0x8000,	li $2 2,			register R2 = 0x2; register R29 = 0x100000; register PC = 0x8004
pc = 0x8004,	li $3 1,			register R3 = 0x1; register PC = 0x8008
pc = 0x8008,	add $5 $2 $3,			register R5 = 0x3; register PC = 0x800c
pc = 0x800c,	li $2 2,			register PC = 0x8010
pc = 0x8010,	li $3 1,			register PC = 0x8014
...

C) Run microstep by microstep

  • And to 'run' 'microstep by microstep' the 's1e1.asm' assembly for the 'ep' architecture with the 'ep_base.mc' microcode, and print for each microinstruction the state elements that modify its value:
./wepsim.sh -a microstepbymicrostep -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e1.asm
micropc,		microcode,				changes_from_zero_or_current_value
micropc = 0x0,		T2 C0,					
micropc = 0x1,		TA R BW=11 M1 C1,				
micropc = 0x2,		M2 C2 T1 C3,				register PC = 0x8004
micropc = 0x3,		A0 B=0 C=0,				
micropc = 0xd3,		SE OFFSET=0 SIZE=10000 T3 LC MR=0 SELC=10101 A0 B C=0,register R2 = 0x2; register R29 = 0x100000
micropc = 0x0,		T2 C0,					
micropc = 0x1,		TA R BW=11 M1 C1,				
micropc = 0x2,		M2 C2 T1 C3,				register PC = 0x8008
micropc = 0x3,		A0 B=0 C=0,				
micropc = 0xd3,		SE OFFSET=0 SIZE=10000 T3 LC MR=0 SELC=10101 A0 B C=0,register R3 = 0x1
...

D) Run & check end state (example when o.k.)

  • You can check if the state at the end of the execution is the same as the one stored on file 'cl-s1e1.txt'. You can 'run' the 's1e1.asm' assembly for the 'ep' architecture with the 'ep_base.mc' microcode (and if it matches the expected state, then the output is going to be):
./wepsim.sh -a check -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e1.asm -r ./repo/checklist/mips/cl-s1e1.txt
OK: Execution: no error reported

E) Run & check end state (example when k.o.)

  • You can check if the state at the end of the execution is the same as the one stored on file 'cl-s1e1.txt'. You can 'run' the 's1e1.asm' assembly for the 'ep' architecture with the 'ep_base.mc' microcode (and if it fails to match the expected state then the output is going to be):
./wepsim.sh -a check -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e1.asm -r ./repo/checklist/mips/cl-s1e2.txt
ERROR: Execution: different results: cpu[R1]='0' (expected '0xf'), cpu[R2]='0x2' (expected '0xf'), cpu[R3]='0' (expected '0x1'), cpu[R29]='0x100000' (expected '0xfffff'), cpu[PC]='0x8078' (expected '0x8018'), memory[0x1000]='0' (expected '0xa07ff0f'), memory[0x1004]='0' (expected '0x10061'), memory[0x1008]='0' (expected '0x7ffff'), memory[0x100c]='0' (expected '0x61000a'), memory[0x1010]='0' (expected '0xf'), memory[0x1014]='0' (expected '0xffffffff'), memory[0x1018]='0' (expected '0x7'), memory[0x101c]='0' (expected '0x12345678'), memory[0x1020]='0' (expected '0x61'), memory[0x1024]='0' (expected '0x6c6c6568'), memory[0x1028]='0' (expected '0x726f776f'), memory[0x102c]='0' (expected '0x646c'), memory[0x8000]='0x8400002' (expected '0x20201000'), memory[0x8004]='0x8600001' (expected '0x10601010'), memory[0x8008]='0xa21809' (expected '0x820000f'), memory[0x800c]='0x8400002' (expected '0x24201000'), memory[0x8010]='0x8600001' (expected '0x840000f'), memory[0x8014]='0xa2180a' (expected '0x14401010'), 

F) Run microstep by microstep with verbalized output

  • And finally, it is possible to execute microstep by microstep but with a more verbose description:
./wepsim.sh -a microstepverbalized -m ep -f ./repo/microcode/mips/ep_base.mc -s ./repo/assembly/mips/s1e1.asm
Micropc at 0x0.	Activated signals are: T2 C0. Associated actions are: Copy from Program Counter Register to Internal Bus value 0x8000. Load from Internal Bus to Memory Address Register value 0x8000.
Micropc at 0x1.	Activated signals are: TA R BW M1 C1. Associated actions are: Copy from Memory Address Register to Address Bus value 0x8000. Memory output = 0x8400002 (Read a word from 0x8000). Select the full Word. Copy from from Memory to Input of Memory Data Register value 0x8400002. Load from Input of Memory Data Register to Memory Data Register value 0x8400002.
Micropc at 0x2.	Activated signals are: M2 C2 T1 C3. Associated actions are: Copy to Input of Program Counter Program Counter Register plus four with result 0x8004. Load from Input of Program Counter to Program Counter Register value 0x8004. Copy from Memory Data Register to Internal Bus value 0x8400002. Load from Internal Bus to Instruction Register value 0x8400002. Decode instruction.
Micropc at 0x3.	Activated signals are: A0 B C. Associated actions are: Copy from Input ROM to Input microaddress value 0x67. Copy from Output of MUX C to A1 value 0x0. Copy from Wired Zero to Output of MUX C value 0x0.
Micropc at 0x67.	Activated signals are: SE OFFSET SIZE T3 LC MR SELC A0 B C. Associated actions are:  Copy from Instruction Register to Input of T3 Tristate value 0x2 (copied 16 bits from bit 0).  Copy from Instruction Register to Input of T3 Tristate value 0x2 (copied 16 bits from bit 0).  Copy from Instruction Register to Input of T3 Tristate value 0x2 (copied 16 bits from bit 0). Copy from Input of T3 Tristate to Internal Bus value 0x2. Copy to Register 2 the value 0x2. Copy from IR[SelA], from IR[SelB], and from IR[SelB] into RA, RB, and RC. Copy from Input Fetch to Input microaddress value 0x0. Set A1 with value 0x1 (Logical NOT of MUXC_MUXB). Copy from Wired Zero to Output of MUX C value 0x0.
Micropc at 0x0.	Activated signals are: T2 C0. Associated actions are: Copy from Program Counter Register to Internal Bus value 0x8004. Load from Internal Bus to Memory Address Register value 0x8004.
Micropc at 0x1.	Activated signals are: TA R BW M1 C1. Associated actions are: Copy from Memory Address Register to Address Bus value 0x8004. Memory output = 0x8600001 (Read a word from 0x8004). Select the full Word. Copy from from Memory to Input of Memory Data Register value 0x8600001. Load from Input of Memory Data Register to Memory Data Register value 0x8600001.
...

Getting Started: Developers

WepSIM Source Code

  • If you want to use the WepSIM engine within your App, there is a WepSIM API in JavaScript available too. You will need to include the WepSIM engine in your proyect:
  <script src="min.sim_all.js"   ></script><noscript>Your browser does not support JavaScript!</noscript>
  <script src="min.wepsim_web.js"></script><noscript>Your browser does not support JavaScript!</noscript>
  • And then, one simple example of using this WepSIM API is the following:
  /*
   * Input: minimal firmware and minimal assembly code
   */

   str_firmware = 'begin {\n' +
		  '  fetch:  (T2, C0),\n' +
		  '          (TA, R, BW=11, M1=1, C1=1),\n' +
		  '          (M2, C2, T1, C3),\n' +
		  '          (A0, B=0, C=0)\n' +
		  '}\n' +
		  'nop {\n' +
		  '        co=010110,\n' +
		  '        nwords=1,\n' +
		  '        {\n' +
		  '                (A0=1, B=1, C=0)\n' +
		  '        }\n' +
                  '}\n' +
                  'registers {\n' +
                  '        0=$zero,\n' +
                  '        29=$sp (stack_pointer)\n' +
                  '}\n' ;

   str_assembly = '.text\n' +
		  'main: nop\n' ;


   /*
    * Code: Initialize WepSIM + reset + compile firmware + compile assembly + execute + get final state
    */

    // 1) initialize WepSIM engine
    var ret = simcore_init(false) ;

    if (false != ret.ok) {
        ret = simcore_init_hw('ep') ;
    }

    if (false != ret.ok) {
	var ui_cb = {} ;
	simcore_init_ui(ui_cb) ;
    }

    // 2) reset hardware
    if (false != ret.ok) {
        simcore_reset() ;
    }

    // 3) load firmware
    if (false != ret.ok) {
        ret = simcore_compile_firmware(str_firmware) ;
    }

    // 4) load assembly
    if (false != ret.ok) {
        ret = simcore_compile_assembly(str_assembly) ;
    }

    // 5) execute firmware-assembly
    if (false != ret.ok) {
	var options = {
                         instruction_limit:  1024,
                         cycles_limit:      10240
		      } ;
	ret = simcore_execute_program(options) ;
    }

    // 6) show a final report
    if (false != ret.ok) {
	var state_obj = simcore_simstate_current2state() ;
	ret.msg = simcore_simstate_state2checklist(state_obj, '') ;
    }


    /*
     * Output: the final state (or error found)
     */

    console.log(ret.msg) ;
  • The following fragment is an example of how to use WepSIM command-line within Google Colab cell:
!echo "(1/4) Installing pre-requisites..."
!npm install  terser jq jshint yargs clear inquirer >& /dev/null
!echo "(2/4) Downloading WepSIM..."
!wget https://github.com/wepsim/wepsim/releases/download/v2.3.1/wepsim-2.3.1.zip >& /dev/null
!unzip -o wepsim-2.3.1.zip  >& /dev/null
!rm -fr   wepsim-2.3.1.zip
!echo "(3/4) Executing WepSIM..."
!./wepsim-2.3.1/wepsim.sh -a stepbystep -m ep -f ./wepsim-2.3.1/repo/microcode/mips/ep_base.mc -s ./wepsim-2.3.1/repo/assembly/mips/s1e1.asm > ./result.csv
!rm -fr   wepsim-2.3.1
!echo "(4/4) Showing execution trace as table..."

import pandas as pd
import io

df1 = pd.read_csv('./result.csv')
df1.columns = df1.columns.str.strip()
for item in df1.columns[:]:
    df1[item].replace("\t","", inplace=True, regex=True)

df1

In the WepSIM URL you can use several arguments to perform certain actions automatically. This is an example:

In particular, WepSIM supports the following arguments:

Name Included values Used for...
mode ep Elemental Processor with circuit and assembly (default)
poc Proof-of-Concept Processor with circuit and assembly
asm_mips Elemental Processor (default) with MIPS assembly only
asm_rv32 Elemental Processor (default) with RISC-V assembly only
config_set Desktop Interface for desktop computer (default)
Mobile Interface for smartphone or tablet
Desktop-Dark Interface for desktop computer and dark mode
Mobile-Dark Interface for smartphone or tablet in dark mode
examples_set RISCV Examples for RISCV instruction set
RISCV-Instructive Examples for RISCV instruction set with active comments
MIPS Examples for MIPS instruction set
MIPS-Instructive Examples for MIPS instruction set with active comments
ARM Examples for ARM-like instruction set
Z80 Examples for Z80-like instruction set
example 0, 1, ... The indentifier of the example within the example set
simulator <main panel>:<details panel> <main panel> can be:
  • microcode → to show the circuit panel.
  • assembly → to show the assembly panel.
<details panel> can be:
  • registers → register file.
  • control_memory → control memory.
  • memory → memory.
  • keyboard → keyboard and screen.
  • ledmatrix → led-matrix.
  • 3dled → 3d-led panel.
checkpoint <URL> URL pointing to the checkpoint to be loaded
notify true Show a dialog-box with the preloaded actions (default)
false Don't show a dialog-box with the preloaded actions

But there is one more argument that can be added: asm asm contains the assembly code to be loaded from the URL.

This assembly code can be obtained from the share option in the "Load/Save" dialog-box: screen:example1

This argument can be combined with the example argument so the assembly code in the URL is loaded instead of the assembly code in the example.

For example, the following link loads the RISC-V assembly code for the factorial and with the keyboard and screen detail panel:

https://wepsim.github.io/wepsim/ws_dist/?mode=ep&examples_set=RISCV&example=14&simulator=assembly:keyboard&asm=FAYlAIHUFMAcGUCSBZcAKAFgFy7AzgFwD0RA7nHgJYC2AdAOaVYYCuARrZQPZkU1EBKUMGC0A1gBMAhlinBwCgG7QAxli4AnAgtqlNE8AFoAjPIXmLOvRoMmzly7v3gNWAPp4AnnhHis0AA8sYC88N1hXDywtcAAbSnMA4wVTBzT4xIAGBUz7NPM2aABHBQCAJgA2cADs6AA7CVT8tgBWbVi2RLKAdnBMtHKKoXzLQpLqnurahqaRhS4WLFLJzKTM9byRqQkDCarB6tm5sdLsqYVWzYV6xu08DWhgkO9wyMo6rHaE0uSjkZBwLAWHgMG42J5-GgAOQAHUyUOGcwUeE6pz6aDwsERSLw7GRsHAmMOVzSbHo0GW+2ybAAzCSHBkfgooYYofTLAsloccmsNkiFIzuUY-vlqCxYpS9sSRrTtACgSCwRDoGgHtQBgAaYyZAQAagALAAObFzAEBcAAXnAEkoik12pNI0FSXA2vZFjVy16ByS7vMNsUkp9IvS325Rr9Cm2u3K3smvv5cTDLpDDhRXV6-UxjvyuNRRKJCf5bDqFKlNXAtPZADMaXLARp3u48NF3vQMVjI+Bo-jCQSi0iOhn0dmuycJt7stWyl3OV6+rzconxxXzrWa2U7g8nuZIqFtAoAcZaIZCd4VFJYrEuz2pVJsjUu87Jvqx8Uo3HeqFXs3ok-k5MqajO+3afmeYQRO4TZdvcjy+P4QTANWUhqJolCXgQfoAngUjKC4UgaoS2RSA04BcKWcRcBeEqKFIjZSGwsQUuR4DMBSLYoWI4DVhoUjUNAfrRgkBYEiYM44qQu5SOAhodjmlh4JJyLZPqcmCTswnZESr5YeAlDVug97gAAPOAZQCC4jwsBodSun6GQBC0Zl+mSZZGVg1JuNAsR4AJg5hkZyQuSBFYVmwXnVj4SIAvphnZAAfFa5mWVg1m2UZABU3Eoeo9GxGg94mNi4Xeb5dxKd22SGKpeA6upNqVY1dhIgAVpeTLIaheX2RVWDJNVGJ1UiYoSo17mmLpDwtpoFJsYSsgqFxPF8X5FwRYQAoVbxMlqYOFW1eANWdkiQl9mdxgzpNVk2X6LUaPhIh5NQUjvNoulGVanW5eh+UtPJFiMkZLS3e1LpfWhl4iNFDZNm4TZoH1-3mIDvRAdc1HXrpgRMPZCRSKjS5zKol6Y0AA

For example, the following link loads the RISC-V assembly code for the factorial and shows the Elemental Processor and the register detail panel:

https://wepsim.github.io/wepsim/ws_dist/?mode=ep&examples_set=RISCV&example=14&simulator=microcode:registers&asm=FAYlAIHUFMAcGUCSBZcAKAFgFy7AzgFwD0RA7nHgJYC2AdAOaVYYCuARrZQPZkU1EBKUMGC0A1gBMAhlinBwCgG7QAxli4AnAgtqlNE8AFoAjPIXmLOvRoMmzly7v3gNWAPp4AnnhHis0AA8sYC88N1hXDywtcAAbSnMA4wVTBzT4xIAGBUz7NPM2aABHBQCAJgA2cADs6AA7CVT8tgBWbVi2RLKAdnBMtHKKoXzLQpLqnurahqaRhS4WLFLJzKTM9byRqQkDCarB6tm5sdLsqYVWzYV6xu08DWhgkO9wyMo6rHaE0uSjkZBwLAWHgMG42J5-GgAOQAHUyUOGcwUeE6pz6aDwsERSLw7GRsHAmMOVzSbHo0GW+2ybAAzCSHBkfgooYYofTLAsloccmsNkiFIzuUY-vlqCxYpS9sSRrTtACgSCwRDoGgHtQBgAaYyZAQAagALAAObFzAEBcAAXnAEkoik12pNI0FSXA2vZFjVy16ByS7vMNsUkp9IvS325Rr9Cm2u3K3smvv5cTDLpDDhRXV6-UxjvyuNRRKJCf5bDqFKlNXAtPZADMaXLARp3u48NF3vQMVjI+Bo-jCQSi0iOhn0dmuycJt7stWyl3OV6+rzconxxXzrWa2U7g8nuZIqFtAoAcZaIZCd4VFJYrEuz2pVJsjUu87Jvqx8Uo3HeqFXs3ok-k5MqajO+3afmeYQRO4TZdvcjy+P4QTANWUhqJolCXgQfoAngUjKC4UgaoS2RSA04BcKWcRcBeEqKFIjZSGwsQUuR4DMBSLYoWI4DVhoUjUNAfrRgkBYEiYM44qQu5SOAhodjmlh4JJyLZPqcmCTswnZESr5YeAlDVug97gAAPOAZQCC4jwsBodSun6GQBC0Zl+mSZZGVg1JuNAsR4AJg5hkZyQuSBFYVmwXnVj4SIAvphnZAAfFa5mWVg1m2UZABU3Eoeo9GxGg94mNi4Xeb5dxKd22SGKpeA6upNqVY1dhIgAVpeTLIaheX2RVWDJNVGJ1UiYoSo17mmLpDwtpoFJsYSsgqFxPF8X5FwRYQAoVbxMlqYOFW1eANWdkiQl9mdxgzpNVk2X6LUaPhIh5NQUjvNoulGVanW5eh+UtPJFiMkZLS3e1LpfWhl4iNFDZNm4TZoH1-3mIDvRAdc1HXrpgRMPZCRSKjS5zKol6Y0AA

1) Prepare the Apache Cordova Project:

  • 1.1) Follow Apache Cordova tutorial in order to create a new project:
npm install -g cordova
cordova create wepsim es.uc3m.inf.arcos.wepsim WepSIM
cd wepsim
cordova platform add android
cordova platform add ios
  • 1.2) Install at least the following plugins:
cordova plugin add cordova-plugin-console
cordova plugin add cordova-plugin-device
cordova plugin add cordova-plugin-dialogs
cordova plugin add https://github.com/apache/cordova-plugin-file-transfer.git
cordova plugin add cordova-plugin-file
cordova plugin add cordova-plugin-splashscreen
cordova plugin add cordova-plugin-web-share

2) Update WepSIM files:

  • 2.1) Copy WepSIM files into the www directory:
wget https://github.com/wepsim/wepsim/archive/refs/heads/master.zip
unzip master.zip
  • 2.2) Build www for the Apache Cordova project:
./wepsim-master/devel/mk_cordova.sh

3) Build Android .apk:

  • 3.1) Build .apk:
cordova build android --debug
  • 3.2.a) Run WepSIM's App on Emulator:
cordova run android
  • 3.2.b) Run WepSIM's App on Device:
adb -d install -r ./platforms/android/app/build/outputs/apk/debug/app-debug.apk