Free Webinar: Thorough Examination of HDL Coding Standards in DO-254 Projects

Static design analysis tool that works on Windows/Linux.

"ALINT-PRO" is a verification solution that analyzes RTL code written in VHDL, Verilog, and SystemVerilog, focusing on coding styles and naming conventions, mismatches between RTL and synthesis results, smooth and optimal synthesis, correct FSM descriptions, issues in the later stages of design, problems with clock and reset trees, CDC, RDC, DFT, and coding for portability and reuse. This solution performs static analysis based on RTL and SDC (Synopsys Design Constraints) source files, identifying critical design issues early in the design phase and significantly contributing to the reduction of design time. By running ALINT-PRO before RTL simulation and logic synthesis, you can prevent design issues from propagating to downstream processes in the design flow, thereby reducing the number of revisions needed before design completion. *For more details, please refer to the PDF materials or feel free to contact us.*

• Other information systems
• others

Although I have heard that verification efficiency at the RTL stage improves with verification methodologies using SystemVerilog such as UVM, many designers may not fully understand what can be done with SystemVerilog and how to use it. In this seminar, we will introduce the basic functions and usefulness of SystemVerilog verification using a sample design. 1. Design Overview 2. UART Test Environment 3. Assertions (SVA & PSL) 4. Functional Coverage 5. Random Test Bench 6. DPI-C

The RTCA/DO-254 guidance recommends that applicants define and implement HDL coding standards. This work begins with a planning process that includes the definition of the standard, how it will be implemented, and, if the process is automated, the evaluation methods for tools or results. A key issue is that the guidance does not have clearly defined formal standards, leading to questions about how to conduct a detailed review of HDL code. In this webinar, we will demonstrate the use of ALINT-PRO to enforce coding standards and highlight the benefits of streamlining the overall design review to meet the objectives of DO-254.

[Speaker] Takahiro Tachikawa, President of International University and Professor at the Graduate School of International Management [Key Lecture Content] In February of this year, the 7th Energy Basic Plan was approved by the Cabinet. What is the essence of this plan that the media and others do not convey? How will this plan impact the development and social implementation of hydrogen, ammonia, and next-generation fuels (synthetic methane, synthetic liquid fuels, green LP gas, etc.)? This lecture will delve into these points. In particular, it will focus on the content of the risk scenario, which is viewed as the main scenario among stakeholders in the energy industry, and the newly defined role of natural gas as an "important energy source even after achieving carbon neutrality." [Lecture Items] 1. The 7th Energy Basic Plan 2. Hydrogen 3. Ammonia 4. Synthetic Fuels 5. Risk Scenario 6. Natural Gas Shift 7. Q&A / Business Card Exchange

[Lecturer] Professor Shiro Kawabata, Faculty of Science and Technology, Hosei University [Key Lecture Content] Prime Minister Ishiba has positioned 2025 as the inaugural year for the industrialization of quantum technology and has indicated a policy to strengthen support for the industrialization of quantum technology. Additionally, at the G7 Summit held in Canada in June 2025, a joint statement titled "Joint Statement on the Future of Quantum Technology," focusing on quantum technology centered around quantum computers, was adopted. Quantum computers are computers that utilize principles of quantum mechanics, such as superposition and quantum entanglement, for information processing. By using quantum computers, it becomes possible to solve several mathematical problems, such as factorization, machine learning, quantum chemistry calculations, finance, and linear simultaneous equations, exponentially faster compared to classical computers. As a result, major global corporations and startups are globally expanding their development and business in quantum computer hardware and software. This seminar will introduce the basics of quantum computers, the latest research and development trends, business trends, technical challenges, and future prospects.

[Speaker] Shintaro Kobayashi, Group Manager, ICT and Content Industry Consulting Department, Nomura Research Institute, Ltd. [Key Lecture Content] The Personal Information Protection Law is undergoing fundamental changes to promote AI development. The Personal Information Protection Commission has proposed a shift towards a risk-based system where companies voluntarily address risks. A key feature of this new system is the establishment of a framework that allows the use of personal information for AI development without the need for individual consent. In this lecture, based on the policy of legal reform, we will carefully explain the points for advancing data utilization by leveraging the legal benefits of the new system, as well as how to establish privacy governance that should drive these efforts, incorporating specific initiatives and examples of solutions. [Lecture Items] 1. Trends in the amendment of the Personal Information Protection Law 2. Practical methods for utilizing personal information without individual consent 3. PETs for safely utilizing AI 4. Achieving governance efficiency and sophistication through AI 5. Q&A / Business card exchange