vesyla  

Synthesis and compilation tool suite for DRRA hardware accelerator platform.

Installation

Requirements

• bender (used by vesyla component)
• minizinc (used by vesyla compile)
• g++ (used by vesyla testcase)

Download

Built packages are available for download in the releases.

Install

• For AppImage or generic tar.gz package, extract and copy to a location in your PATH. Make sure to give execution permissions to the binary.

• For Debian-based systems:

  sudo dpkg -i pkg/vesyla-*.deb

• For RedHat-based systems:

  sudo rpm -i pkg/vesyla-*.rpm

Compilation

Dependencies

• CMake >= 3.22.1
• Clang >= 5 or GCC >= 9.0 (C++17 support)
• Flex and Bison (tested on 2.6.4 and 3.8.2, respectively)

Build

mkdir build
cd build
cmake ..
cmake --build . -- -j$(nproc)

Create and install package

Packages will be generated in the build/pkg directory.

• For Debian-based systems:

  cpack -G DEB
  sudo dpkg -i pkg/vesyla-*.deb

• For RedHat-based systems:

  cpack -G RPM
  sudo rpm -i pkg/vesyla-*.rpm

• For generic tar.gz package:

  cpack -G TGZ

  To install, extract the tarball and copy to a location in your PATH.

Modules

• testcase: Test case infrastructure and build-in test cases for DRRA-2
• 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.
• 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.

Usage

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

vesyla testcase

Usage: vesyla 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

vesyla component

Usage: vesyla component <COMMAND>

Commands:
  create         Create a new component
  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

vesyla compile

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

MLIR LSP Server for PASM

When compiling Vesyla, an MLIR LSP server for MLIR-PASM (Proto-Assembly MLIR dialect) files is also built. 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"
  }
}