GDB and Code Coverage Support in laysim-GR740

laysim-GR740 v1.6 supports GDB and code coverage. Detailed information can be found in [laysim-GR740-012] Debugging with GDB on laysim-GR740 and [laysim-GR740-013] Code Coverage Operation on laysim-GR740.


1. GDB Support

The CLI version of laysim-GR740 supports debugging with GDB. When attached to GDB, laysim-GR740 acts as a remote GDB target. laysim-GR740 supports the extended-remote protocol or remote protocol of GDB, and it can be connected to a GDB front-end such as DDD or Eclipse.



2. Code Coverage

The CLI version of laysim-gr740 and the perf version of laysim-gr740-dbt/mdbt support for the code coverage in the same format as TSIM3-LEON4. 


1) Code Coverage with COVOAR

The coverage analysis tool which is called covoar has been developed as part of the RTEMS project to analyze the coverage of the testsuite created to test the RTEMS OS. Covoar is broadly applicable for the development of embedded system application.

It is possible to use covoar for code coverage with BCC-2.2.0 from Gaisler or another tool-chains.



2) Code Coverage with GCOV

Gcov is a source code coverage analysis and statement-by-statement profiling tool. Gcov generates exact counts of the number of times each statement in a program is executed and annotates source code to add instrumentation.






댓글

댓글 쓰기

이 블로그의 인기 게시물

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