Benefit from the Power of the Latest SystemVerilog Subset Constructs – with Confidence

Aldec expands the rule checking capabilities of its ALINT-PRO™ mixed-language verification solution

HENDERSON, Nev. — (BUSINESS WIRE) — August 8, 2017Aldec, Inc., an industry leader in Electronic Design Verification, has expanded the rule-checking capabilities of its popular ALINT-PRO™ tool in response to the design subset constructs that have been recently added to the SystemVerilog language.

The use of the latest subset of SystemVerilog design constructs is not without risk, namely there are now new risks for RTL coding errors/defects to be made and go unobserved. The 2017.07 release of ALINT-PRO™ is able to flag typical issues, including 2-valued vs 4-valued data, user-defined types, new kinds of processes and conditional statements, new expression operators and advanced constructs to model re-usable design hierarchies.

“The need for rapid and informative feedback regarding potentially harmful RTL defects and inconsistencies, and the prevention of them creeping into the design flow, grows in proportion with language complexity,” observes Sergei Zaychenko, Aldec Software Product Manager. “At Aldec we’re committed to ensuring that design engineers can leverage the power of hardware description languages while verifying their designs perform as intended.”

ALINT-PRO 2017.07 Highlights

  • Introducing ALDEC_SV rule plugin to cover SystemVerilog design subset
  • 18 extra rules on synthesis and coding style added to existing rule libraries (STARC, Aldec Basic, Aldec Premium)
  • Full coverage of block-level constraints for Microsemi FPGA libraries
  • Support of multi-mode clock/reset networks analysis with “set_case_analysis” constraint
  • New CDC-specific reporting functions (TXT, CSV formats)
  • Custom violation reports (TCL API and demo examples)
  • Launching linting session directly from Active-HDL™ and Riviera-PRO™

About ALINT-PRO

ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, avoiding problems on further design stages, clocks and reset tree issues, CDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically.

The 2017.07 release of ALINT-PRO includes numerous new features, usability enhancements and performance optimizations. For additional information, tutorials, free evaluation download and What’s New Presentation, visit  https://www.aldec.com/Products/ALINT-PRO.

About Aldec

Established in 1984, Aldec is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, SoC and ASIC Prototyping, Design Rule Checking, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification, Embedded Solutions and Military/Aerospace solutions.  www.aldec.com



Contact:

Aldec, Inc.
Kadie Dungey, + (702) 990-4400
Email Contact

Featured Video
Jobs
Senior Principal Software Engineer for Autodesk at San Francisco, California
Mechanical Manufacturing Engineering Manager for Google at Sunnyvale, California
Senior Principal Mechanical Engineer for General Dynamics Mission Systems at Canonsburg, Pennsylvania
Manufacturing Test Engineer for Google at Prague, Czechia, Czech Republic
Equipment Engineer, Raxium for Google at Fremont, California
Mechanical Test Engineer, Platforms Infrastructure for Google at Mountain View, California
Upcoming Events
Intergeo 2024 at Messe Stuttgart Messepiazza 1 Stuttgart Germany - Sep 24 - 26, 2024
GIS-Pro 2024 at Portland ME - Oct 7 - 10, 2024
Geo Sessions 2024 at United States - Oct 22 - 24, 2024



© 2024 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise