Release laysim-GR740 v2.0

 laysim-GR740 v2.0 Quad Core Processor Emulator


1. Faster than Real GR740 Board (250MHz) under SMP Environment

▶ Single Core Performance 

laysim-gr740-dbt shows highest performance on Intel i9-12900K

    - Dhrystone : 915.71 MIPS (the real-time performance (RTP) is 462.10%)

    - Stanford : 463.87 MIPS (the RTP is 326.37%)

    - Whetstone-SP : 138.36 MIPS (the RTP is 113.13%)

▶ Multi Core Performance 

laysim-gr740-mdbt shows highest performance on Intel i9-12900K

    - RTEMS5.1 smpmigration02 : 721.54 MIPS (the RTP is 124.89%)

    - RTEMS5.1 smpmrsp01 : 867.52 MIPS (the RTP is 149.53%)

    - RTEMS5.1 smpmutex02 : 633.04 MIPS (the RTP is 146.76%)

    - RTEMS5.1 smpschedaffinity05 : 1099.81 MIPS (the RTP is 159.74%)

    - RTEMS5.1 smpschededf03 : 1054.84 MIPS (the RTP is 158.18%)

    - RTEMS5.1 smpswitchextension01 : 431.95 MIPS (the RTP is 141.89%)



2. Support the User Loadable Modules

▶ Support loadable modules for SPI, GPIO, UART, PCI, I/O, SpW Nodes, 1553B RTs, and CAN Nodes with CAN bus simulation.


3. Support the Shared Library

▶ laysim-GR740 also supports the shared library that can be integrated in an existing simulator. (save/restore are supported.)


4. Embedded Source Level Debugger

▶ laysim-gr740 includes the embedded source-level debugger, so it is possible to debug the GR740 SMP applications without GDB.



5. Fully Support for AIR, XtratuM and PikeOS Hypervisors

▶ laysim-GR740 also supports AIR/GMV hypervisor awareness, so it possible to debug the partitions of AIR with the embedded source-level debugger.



6. Support Code Coverage with RTEMS COVOAR

▶ laysim-GR740 supports the code coverage as same format of TSIM3-LEON4.




7. Supported GRLIB Devices in laysim-GR740

CoreFunctionVendor IDDevice IDEmulation in laysim-GR740
LEON4-FTLEON4 SPARC v8 32-bit processor0x010x048Supported by laysim-GR740
AHB2AHBUni-directional AHB/AHB bridge0x010x020Controlled by laysim-GR740
APBCTRLAHB/APB bridge0x010x006Controlled by laysim-GR740
APBUART8-bit UART with FIFO0x010x00CAPBUART is supported with Tx/Rx FIFO and loadable UART Module
AHBJTAGJTAG/AHB Debug interface0x010x01COnly P&P information
AHBSTATAHB Status Register0x010x052Supported by laysim-GR740
AHBTRACEAHB trace buffer0x010x017Only P&P information
IRQ(A)MPMultiprocessor interrupt controller0x010x00DSupported by laysim-GR740
DSU4LEON4 Debug Support Unit0x010x049Only P&P information
MMCTRLMemory controller0x010x05DSupported by laysim-GR740
GPTIMERModular timer unit with watchdog0x010x011Supported by laysim-GR740 (No watchdog)
GR1553BMIL-STD-1553B/AS15531 interface0x010x04DSupported by laysim-GR740 (BC only) with loadable 1553B RTs
GRCANCAN 2.0 controller with DMA0x010x03DSupported by laysim-GR740 with loadable CAN Nodes
GRCLKGATEClock gating unit0x010x02CSupported by laysim-GR740
GRETH_GBIT10/100/1000 Ethernet MAC with DCL0x010x01DSupported by laysim-GR740
GRGPIOGeneral Purpose I/O Port0x010x01ASupported by laysim-GR740 with loadable GPIO Modules
GRGPRBANKGeneral Purpose Register Bank0x010x08FSupported by laysim-GR740
GRGPREGGeneral Purpose Register0x010x087Supported by laysim-GR740
GRIOMMUAHB/AHB bridge with protection (IOMMU)0x010x04FSupported by laysim-GR740
SPICTRLSPI controller0x010x02DSPICTRL is supported with loadable SPI Module
GRPCI2Fast 32-bit PCI bridge0x010x07CSupported by laysim-GR740 with loadable PCI Module
GRSPW2SpaceWire codec with RMAP0x010x029Supported by laysim-GR740
GRSPWROUTERSpaceWire Router Switch0x010x08BSupported by laysim-GR740 with loadable SpW Nodes
GRSPWTDPSpaceWire - Time Distribution Protocol0x010x097Not supported in laysim-GR740
FTMCTRL8/16/32-bit memory controller with EDAC0x010x054Supported by laysim-GR740 (No EDAC)
L2CACHELevel 2 cache0x010x04BSupported by laysim-gr740 only (Not configurable)
L4STATLEON4 statistical unit0x010x047Not supported in laysim-GR740
MEMSCRUBMemory scrubber0x010x057Not supported in laysim-GR740
GR740THSENSGR740 Temperature sensor controller0x010x099Only register operation

Limitation of laysim-GR740 Evaluation Version

The evaluation version of laysim-GR740 has NO execution limitation except acquiring 1 year free license as described in user's manual chapter 2.2

Download laysim-GR740 Evaluation Version

The evaluation version of laysim-GR740 and user's manual can be downloaded from Download Article (https://layright.blogspot.com/2020/02/download-laysim-leon3.html).


댓글

댓글 쓰기

이 블로그의 인기 게시물

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.  KARIDRIVE has been down for a long time due to security issues. If you need laysim, please send an email to jwchoi@kari.re.kr .
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

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