vesyla  

Tool suite for DRRA-2 hardware accelerator platform.

Projects

• vs-testcase: Test case infrastructure and build-in test cases for DRRA-2
• vs-component: Assemble the components of vesyla, it requires you to specify the location of DRRA libary as enviroment variable VESYLA_SUITE_PATH_COMPONENTS. Check the repo drra-components.
• vs-compile: Compiler for DRRA-2 instruction set architecture (ISA). It compiles the proto-assembly code (.pasm) into binary code. The compiler uses the minizinc solver.

Compile and Install

1. Install dependencies

   sh ./scripts/install_dependencies.sh

2. Build Vesyla

   make

3. Install Vesyla

   sudo make install

Usage

Requirements

• minizinc
• drra-components: v2.6.0 or later

Commands

vesyla

Usage: vesyla [command and options]
Commands:
        compile     Compile the source code
        component   Assemble the system
        testcase    Test the system
Options:
        -h, --help     Show this help message
        -V, --version  Show version information

vs-testcase

Usage: vs-testcase <COMMAND>

Commands:
  init      Initialize testcase directory
  run       Run testcase
  generate  Generate testcase scripts
  export    Export testcase
  help      Print this message or the help of the given subcommand(s)

Options:
  -h, --help  Print help

vs-component

Usage: vs-component <COMMAND>

Commands:
  assemble       Assemble the system
  validate_json  Validate JSON file
  clean          Clean the build directory
  help           Print this message or the help of the given subcommand(s)

Options:
  -h, --help  Print help

vs-compile

Usage: vs-compile --arch FILE --isa FILE --pasm FILE [--output DIR]
Or
vs-compile --arch FILE --isa FILE --cpp FILE [--output DIR]

MLIR LSP Server for PASM

Vesyla also compile a MLIR LSP server for PASM (Proto-Assembly) files. It is located in build/bin/pasm-mlir-lsp-server. You can use it with the MLIR plugin for VSCode or any other editor that supports LSP. To set it up in VSCode, you can use the MLIR extension and configure the server path in the settings:

{
  "settings": {
    "mlir.server_path": "build/bin/pasm-mlir-lsp-server"
  }
}