Download laysim-NOELV, laysim-GR740, laysim-GR712RC, and laysim-UT700

Currently the evaluation version of laysim-NOELV (RISC-V/RV64G, quad core), laysim-GR740 (quad core), laysim-GR712RC (dual core), and laysim-UT700 can be downloaded. 

All laysim support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04/22.04, openSUSE 12/15 and Debian 10.3.


Limitation of laysim

The evaluation version of laysim does not have any execution limitation except acquiring 1 year free license as described in user's manual Chapter 2.2. 

Simple Comparison Chart for laysim-GR740/GR712RC/UT700

 
laysim-GR740
laysim-GR712RC
laysim-UT700
(Evaluation Version)
laysim-GR740
laysim-GR712RC
laysim-UT700
(Professional Version)
 Execution Time Limitation  No No
 Need 1 year free licenseYes Permanent License 
 Support Loadable ModulesYes only for Pre-built Models Yes 
 Provide all source codes of 
 loadable modules		    No    Yes 
 Support Shared LibraryNo Yes 
 Provide all interfaces for
 shared library		No Yes 
  How can getfrom blog   Technology transfer from KARI  


1. Download laysim-NOELV Evaluation Version 0.1 (2023/07/26)

1) Executables
    - Download laysim-NOELV v0.1 Windows Version
    - Download laysim-NOELV v0.1 Linux x64 Version 

2) Documents
    - Download [laysim-NOELV-001] laysim-NOELV v0.1 User's Manual
    - Download [laysim-NOELV-002] NOEL-V Examples Result on laysim-NOELV v0.1

2. Download laysim-GR740 Evaluation Version 3.0 (2025/08/27)

- laysim-gr740-mdbt is available from v1.2
- GDB and code coverage are supported from v1.6
- IOMMU is supported from v2.0
- FentISS XNG is fully supported from v2.2

- Professional Version Only (Need separate license for full access)
  a) User loadable PCI, I/O, SpW Node, 1553B RT, CAN Node, SPI, GPIO, and UART module are supported
  b) Shared library is supported (save/restore are supported)
- Contact jwchoi@kari.re.kr

1) Executables
    - laysim-GR740 v3.0 Windows Version
    - laysim-GR740 v3.0 Linux x64 Version 

2) Documents
    - [laysim-GR740-001] laysim-GR740 User's Manual
    - [laysim-GR740-002] GR740 Examples Result on laysim-GR740
    - Request [laysim-GR740-003] RTEMS 5.1 Testsuites Result on laysim-GR740
    - [laysim-GR740-004] GR740 SpW & Router Operation on laysim-GR740
    - [laysim-GR740-005] GR740 GR1553B Operation on laysim-GR740
    - [laysim-GR740-006] GR740 IRQ(A)MP Operation on laysim-GR740
    - [laysim-GR740-007] GR740 Sync. Trap Test on laysim-GR740
    - [laysim-GR740-008] GR740 GRCAN Operation on laysim-GR740
    - Request [laysim-GR740-009] laysim-GR740 v2.0 Loadable Modules - User's Manual
    - [laysim-GR740-010] laysim-GR740 v2.0 Shared Library - User's Manual
    - [laysim-GR740-011] Real-Time Performance and Cycle Accuracy Report on laysim-GR740
    - [laysim-GR740-012] Debugging wiht GDB on laysim-GR740
    - [laysim-GR740-013] Code Coverage Operation on laysim-GR740
    - [laysim-GR740-014] GR740 IOMMU Operation on laysim-GR740 
    - [laysim-GR740-015] Detailed Comparison with laysim-GR740 and Simics LEON4

    - [laysim-AIR-001] Debugging AIR 5.6.0 on laysim-GR740 
    - [laysim-AIR-002] AIR 5.6.0 Test Result with laysim-GR740

    - Dockerfile for NASA cFS and laysim-GR740 on CentOS7
    - Manual of Dockerfile for NASA cFS and laysim-GR740
    - Quick Comparison with laysim-GR740 and Simics LEON4

3. Download laysim-GR712RC Evaluation Version 2.0 (2022/05/13)

1) Executables
    - Download laysim-GR712RC v2.0 Windows Version
    - Download laysim-GR712RC v2.0 Linux x64 Version 
    - Download laysim-GR712RC v2.0 Linux x32 Version (Debian 2.6.26 Lenny & EDISOFT)

2) Documents
    - Download [laysim-GR712RC-001] laysim-GR712RC v2.0 User's Manual
    - Download [laysim-GR712RC-002] GR712RC Examples Result on laysim-GR712RC v2.0
    - Download [laysim-GR712RC-003] Debugging with GDB on laysim-GR712RC v2.0
    - Download [laysim-GR712RC-004] Code Coverage Operation on laysim-GR712RC v2.0
    - Request    [laysim-GR712RC-005] User Loadable Modules - User's Manual
    - Request    [laysim-GR712RC-006] Shared Library - User's Manual
    - Download [laysim-GR712RC-007] GR712RC Sync. Trap Test on laysim-GR712RC v2.0
    - Download [laysim-GR712RC-008] AIR 5.6.0 Test Result with laysim-GR712RC v2.0
    - Download [laysim-GR712RC-009] Debugging AIR 5.6.0 on laysim-GR712RC v2.0
    - Download [laysim-GR712RC-010] EDISOFT RTEMS4.8-Improvement Test Result with laysim-GR712RC v2.0
    - Download [laysim-GR712RC-011] RTEMS QDP-3 Test Result on laysim-GR712RC


4. Download laysim-UT700 Evaluation Version 2.1 (2023/10/24)

1) Executables
    - Download laysim-UT700 v2.1 Windows Version
    - Download laysim-UT700 v2.1 Linux x64 Version 

2) Documents
    - Download [laysim-UT700-001] laysim-UT700 v2.1 User's Manual
    - Download [laysim-UT700-002] UT700 Examples Result on laysim-UT700 v2.1
    - Download [laysim-UT700-003] Debugging with GDB on laysim-UT700 v2.1
    - Download [laysim-UT700-004] Code Coverage Operation on laysim-UT700 v2.1
    - Download [laysim-UT700-005] laysim-UT700 User Loadable Modules - User's Manual
    - Download [laysim-UT700-006] laysim-UT700 Shared Library - User's Manual
    - Download [laysim-UT700-007] UT700 Sync. Trap Test on laysim-UT700 v2.0
    - Download [laysim-UT700-008] AIR 5.6.0 Test Result with laysim-UT700 v2.1
    - Download [laysim-UT700-009] Debugging AIR 5.6.0 on laysim-UT700 v2.1
    - Download [laysim-UT700-010] RTEMS6.1 Build and Testsuites on laysim-UT700


댓글

댓글 쓰기

이 블로그의 인기 게시물

Release laysim-GR740 for Evaluation

이미지
laysim-GR740 Quad Core Processor Emulator laysim-GR740 consists of three types of emulators: laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt . laysim-gr740 is a graphic user interface (GUI)-based and cycle-accurate emulator for the GR740 quad core processor based on interpretation method. It includes an embedded source-level debugger and supports MMU for Linux-SMP and XtratuM-SMP. laysim-gr740-dbt is a GUI-based high-performance and cycle-approximate processor emulator with dynamic binary translation method. laysim-gr740-mdbt  is a new parallel GR740 processor emulator which adopts the multi-thread framework with DBT through 2 years development by KARI. It can satisfy the real-time performance of GR740 on a high-end PC such as Intel i9-11900K @5GHz. All  laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt  support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04 and Debian 10.3. Also two types of CLI (C...
Read more

laysim Processor Emulator for GR740, GR712RC, UT700 and more..

이미지
I'm Jong-Wook Choi from KARI (Korea Aerospace Research Institute). I'm an on-board flight software engineer in KARI. I've developed the flight software for KOMPSAT-2/3/5/3A, CAS-500 and GEO-KOMPSAT-2A/2B. Currently I involve in developing of the flight software for KOMPSAT-6/7/7A, and KPLO (Korean Pathfinder Lunar Orbiter). For many years, flight software (FSW) has been developed and verified using the software test bed (STB) environment based on the real hardware in KARI. During the development of FSW on the STB, we have experienced lots of annoying problems such as delayed deliver of target hardware, limited concurrent access to the STB from software engineers, and the time and cost to create multiple STBs for different satellites. Thus, software-based satellite simulators have been developed from the beginning of a satellite project to avoid these issues. The software-based simulator enables the FSW to be developed concurrently with the satellite hardware from the in...
Read more