Actel Partner Solutions
Aldec, together with Actel, has developed
a set of highly integrated solutions designed
specifically for Actel's field-programmable
gate arrays (FPGAs) in high-reliability avionics
and aerospace applications. With the industry's
first hardware/software verification package
to ease DO-254 certification, Aldec is overcoming
the verification bottleneck in the design assurance
process. In addition, Aldec provides a flash-based
prototyping solution for Actel's space-optimized
RTAX-S FPGAs, allowing aerospace customers
to tap the flexibility and reprogrammability
of flash-based prototypes for multiple aerospace
applications. It also provides HW/SW co-verification
for Actel's M7 devices that contain embedded
ARM7 processor.
The following Actel solutions are available:
- RTAX-S Prototyping Solution
- HW/SW Co-Verification Solution
- DO-254 Verification Solution
RTAX-S Prototyping Solution
Aldec's prototyping solution for Actel FPGA
devices allows antifuse (e.g., RTAX-S) prototyping
with flash devices. This unified solution provides
the customer with an unrestricted mixed-language
Active-HDL simulator, an antifuse to flash
design conversion tool, and a hardware adaptor.
Using the hardware adaptor, designs targeted
for production in antifuse FPGAs can be prototyped
using the reprogrammable flash ProASIC3 family
devices. The adaptor board has a reprogrammable
ProASIC3 device on the top and a footprint
of the antifuse device on the bottom. As far
as the adaptor board is footprint-compatible
with the final antifuse device it can be soldered
directly onto the PCB. This approach eliminates
the need to use third-party tools and devices,
and translates into lower costs, shorter design
time, and higher quality.
more >>
HW/SW Co-Verification Solution
Aldec's co-verification solution enables engineers
to perform HW/SW co-verification of Actel CoreMP7-based
designs. It provides SW and HW designers with
a complete co-verification environment that
lets them to test the designs at hardware speeds,
while maintaining access to the HDL simulator
in order to probe and correct errors in the
design. The solution includes mixed-language
Active-HDL simulator, software development
and debugging tools, and hardware board with
Actel M7 ProASIC3 device. It provides full
visibility and control of hardware and software
execution. The solution addresses the hardware
and software integration problem and translates
into a shorter project schedule, a lower cost
project, and a higher quality product. more >>
DO-254 Verification Solution
Aldec provides the software/hardware solution that assists in verification
and validation of airborne systems to meet airborne system safety requirements
as specified by the DO-254 objectives.
Aldec's verification solution assists with the following levels of
design verification:
- RTL simulation, post-synthesis simulation,
timing simulation. Simulation is driven by
the set of testbenches and the results are
stored in the signal database files(waveforms,
etc.). Code coverage and code linting are
available.
- In-Hardware simulation. The FPGA design
is implemented to the target FPGA on HES
board. The simulation is driven by the same
testbench (the testbench remains in the simulator)
as used for RTL simulation. The results of
the co-simulation are stored in the waveform
file and can be compared to those obtained
during regular simulation.
DO-254 multi-stage verification solution allows hardware design verification
of each phase of the design creation and implementation. Designers
are able to use the same testbench and a set of golden vectors for
validation of RTL code both in the software simulator and in the hardware.
The DO-254 solution includes the mixed-language Active-HDL simulator,
software that maintains the connection between the simulator and the
hardware board, and hardware PCI board. The PCI board is customizable
to meet the customer's requirements more >>
|
góra 
