Filter Results By:
Products
Applications
Manufacturers
RTL
Resisitor-transistor logic.
-
product
A Comprehensive Package of DFT Tools
DFT- PRO Plus
DFT-PRO Plus offers an integrated DFT solution covering scan synthesis and ATPG, memory Built-In Self-Test (BIST) synthesis and boundaryscan (BSD) synthesis. The corresponding tools generate RTL blocks that fit seamlessly into an existing synthesis flow
-
product
Embedded Development Kit
TySOM
The TySOM Embedded Development Kit is for the embedded designer who needs a high-performance RTL simulator/debugger for their embedded applications such as IoT, Factory Automation, UAV and Automotive. The kit includes Riviera-PRO Advanced Verification Platform and a Xilinx Zynq development board that contains single Zynq chip (FPGA + Dual ARM Cortex-A9), memories (DDR3, uSD), communication interfaces (miniPCIe, Ethernet, USB, Pmod, JTAG) and multimedia interfaces (HDMI, audio, CMOS camera).
-
product
Hybrid Verification Platform
HES-DVM
HES-DVM™ is a fully automated and scalable hybrid verification environment for SoC and ASIC designs. Utilizing the latest co-emulation standards like SCE-MI or TLM and newest FPGA technology, hardware and software design teams obtain early access to the hardware prototype of the design. Working concurrently with one another they develop and verify high-level code with RTL accuracy and speed-effective SoC emulation or prototyping models reducing test time and a risk of silicon re-spins.
-
product
RTL debugger and viewer for Verilog and VHDL
RTLvision
RTLvision PRO provides easy RTL debugging and fast visualization of RTL code, so that engineers can easily understand, implement and optimize VHDL, Verilog or SystemVerilog code. Please check out the Demo Videos: Basic Features and Clock Tree Analyzer.
-
product
SoC Signoff & Structural Verification
Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.
-
-
product
PowerPro RTL Low-Power
The PowerPro RTL Low-Power Platform provides a complete solution to accurately measure, interactively explore and thoroughly optimize power during the RTL development cycle.
-
product
High Performance Embedded Development Kit
TySOM EDK
The TySOM™ Embedded Development Kit is for the embedded designers who need a high-performance RTL simulator/debugger for their embedded applications such as IoT, Automotive, Factory automation, UAV and Robotics. The kit includes Riviera-PRO™ Advanced Verification Platform and a TySOM development/prototyping board. TySOM boards come with either a Zynq 7000 chip (FPGA + Dual ARM® Cortex™-A9) or with a Zynq® UltraScale+™ MPSoC device. These boards include memories, and various communication and multimedia interfaces in addition to FMC connectors for peripheral expansion. Reference designs for application such as IoT, ADAS, 4K UltraHD imaging and Robotics and a complete reference design, which contains the SW (Linux) and all the hardware blocks required to support the peripherals on the board, are provided.
-
product
Analyze RTL
ASICs and FPGA routinely have millions of gates with memories, transceivers, third party IP and processor cores. Problems can be time consuming and complex to debug in the lab and through simulations. Designers need verification tools that can identify problems quickly to reduce their verification and debug time before simulation, before synthesis, and definitely before burning chips in the lab.
-
product
EMBEDDED MMC (EMMC)
SD 3.0 / eMMC 4.51 IP Family
The eMMC Host IP is an RTL design in Verilog that implements an MMC / eMMC host controller in an ASIC or FPGA. The core includes RTL code, test scripts and a test environment for full simulation verifications. The Arasan MMC / eMMC Host IP Core has been widely used in different MMC applications by major semiconductor vendors with proven silicon.
-
product
Development Of Custom RTL Design Applications
Defacto’s STAR is also an application development environment for CAD Teams to develop in-house and custom RTL applications. It allows multi-APIs access to “RTL Build & Signoff” capabilities with higher flexibility beyond Tcl.
-
product
Testing And Design Services
Rhein Tech Laboratories, Inc. (RTL) is a full-service design and compliance engineering test laboratory. We have grown with the industry from general purpose EMC testing into other areas of testing such as Radio (RF testing), Military and Aviation, Industrial, Scientific and Medical, Automotive, Electrical Safety, Shielding Effectiveness, Site Surveys and Radar Cross Section & High Range Resolution measurements.
-
product
Static Design Verification
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, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, 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. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
-
product
MIPI Soundwire Total IP Solutions
Soundwire
Soundwire is suited for small, cost-sensitive audio peripherals such as modern digital class-D amplifiers and digital microphones. The Total MIPI SoundWire IP Solution from Arasan enables early adopters the fastest path to adoption of this new standard by offering a comprehensive IP package that includes the Verilog RTL source code for Master and Slave, fully validated for compliance with the standard, a comprehensive test environment with a compliance suite for verification of the IP package, a SoundWire Hardware Development Kit (“HDK”) for FPGA prototyping, a SoundWire protocol analyzer and a complete SoundWire software stack.
-
product
360 EC-FPGA
Functional correctness of FPGA synthesis from RTL code to final netlist. Systematic design errors, introduced by automated design refinement tools, such as synthesis, can be hard to detect, and damaging if they make it into the final device. Formal equivalence checking has been used for ASIC design flows for many years. As FPGAs become bigger and critical system components, exhaustively verifying the functional equivalence of Register Transfer Level (RTL) code to synthesized netlists and the final placed & routed FPGA designs is mandatory.
-
product
X-Design and Verification System
Ascent XV
The Ascent X-design and verification system (XV) prevents, detects and isolates issues caused by the propagation of unknowns (‘Xs’) in RTL designs, including Xs that occur during power-on initialization and switching between power modes. Early sign-off of X issues eliminates costly, painful gate-level debug, and prevents hidden functional bugs from slipping through to silicon.
-
product
ASIC / COT / FPGA Design
EL & Associates, Inc. specializes in integrated solutions for design (RTL to GDSII), Design-For-Test (DFT) and Design-For-Manufacturing (DFM) services for ASIC, ASSP, COT, and FPGA. We engage with customers from RTL phase to silicon prototype. The ELA methodology is optimized to manage risk in design, manufacture and product deployment. ELA has successfully completed over 750 designs to date.
-
product
SoC Integration At RTL
Before logic synthesis, STAR enables full implementation capabilities towards IP and connectivity insertion with a real-time monitoring of the integration progress. This enables SoC creation in minutes and maximize design reuse from existing projects.
-
product
RTL Lint Analyzer and Rule Checker
Ascent Lint
Ascent Lint is a state-of-the-art RTL linter and rule checker for full-chip SoC analysis. Designed from the bottom-up to deliver the highest performance, capacity and low-noise reporting, it is the best-in-class HDL linter available today with a comprehensive set of syntax and semantic checks.
-
product
LSI Functional Verification Services
SpecInsight
The keys to functional verification are “verification strategy” and “highly complete verification item extraction.” Our functional verification services emphasize highly complete verification item extraction while also generating test benches and functional scenarios, random verification, and even functional coverage to meet customer demands by providing these services from a wide variety of angles. By implementing functional verification on the RTL and C models designed by customers from a third-party perspective, we improve quality of customers’ circuits.
-
product
ISO 26262 FMEDA Solution
OneSpin automates the FMEDA steps through a series of safety apps integrated in a comprehensive, interoperable flow that leverages structural analysis, formal proofs, and expert knowledge. The apps can be applied at chip level, and support both RTL and gate-level design models. Crucially, the OneSpin FMEDA flow does not require a test bench, reduce or eliminates slow and effort-intensive fault simulation, and quickly detects shortcomings in the safety architecture.
-
product
Low speed Serial Interfaces
12C/ 12S/ SPI/ UART
Arasan has a diverse portfolio of connectivity IP products including SPI, I2C, I2S and UART. These protocols are vital for the integration of SoCs with peripheral chipsets in order to form a complete hardware platform. They are frequently used by the SoC to configure, control and gather diagnostic information at the platform level to ensure correct operation of the hardware.Arasan's proven Connectivity IP Solutions provides a risk free path to integrating these interfaces in SoC designs:High quality IP cores ensure inter-operability between SoCs and peripheralsIn-house domain expertise ensures a high quality support throughout the SoC development cycleTotal IP solution includes RTL source code, synthesis scripts, test environment and documentation
-
product
Widgets - Automatic Schematic Generation
Nlview
Concept Engineering's Nlview engine provides automatic generation of schematic diagrams for different levels of electronic circuits, including gate-level, RTL and block-level. Optional engines are available for the system-level (S-engine) and for the transistor-level (T-engine). The schematic layout can be modified and controlled by human intervention and always optimized by algorithms. A fine granularity of user preferences can be mixed with machine computed "beauty" to get the best human readable diagrams. Interactive circuit exploration is supported by incremental schematic generation technology. Nlview provides a set of APIs and interfaces with a certain GUI environment. Please see also the Nlview Widgets datasheet (PDF file).
-
product
Advanced Multimode Sign-off Verification
Verix PhyCDC
Verix PhyCDC is the only solution that delivers precise netlist CDC sign-off including glitch checking. RTL CDC sign-off assumptions may become invalid because of logic synthesis and power optimizations. Verix PhyCDC performs comprehensive structural and functional analysis to ensure that signals crossing asynchronous clock domains are CDC-safe at the gate level. Complementing Real Intent’s Verix CDC solution that provides comprehensive analysis for RTL sign-off, Verix PhyCDC delivers the most advanced netlist sign-off for giga-gate designs.
-
product
RTL Floorplanner, Partitioning, And Floorplan Verification
ConStruct
ConStruct is an early RTL Floorplanner, partition explorer, and floorplan verification tool. It can further be used to generate the partitioned RTL based on specified criteria.
-
product
360 EC-ASIC
ASIC synthesis verification from RTL code to final netlist.Systematic design errors, introduced by automated design refinement tools, such as ASIC synthesis, can be hard to detect, and damaging if they make it into the final device. Formal Equivalency Checking (EC) has become a standard part of the ASIC development flow, replacing almost all gate level simulation with a rigorous consistency check between pre- and post-synthesized code.
