Communication
Contacts
Offering
Investors
Careers
Libraries of Standard cells and Memories
Logic virtual components
Analog virtual components
Test structures
Hardware/Software Codesign
Virtual test & diagnostic
Hardware/Software Codesign
Layout verification
My MEDAL
Quadrant of skills
SoC Integration
Custom Fabless Supplier
 
 

Search dolphin:

SLED Tutorials

 

Tutorials
Download
 
EMBLEM Math
KEYWORDS: Real, Modeling, Calculation, Mathematical, Equation
This tutorial aims at easing the first steps of the user with the EMBLEM Math library with the help of small examples.
EMBLEM Math is a library of general mathematical functions dedicated to the graphical assembly of high abstraction level models. This release enables calculations with real numbers such as addition, log, floor, gain, cosine, time integration…
EMBLEM Mecha
KEYWORDS: MEMS, Electro-Mechanical-System, Fundamental Effects, Multi-Domain Modeling and Simulation
The EMBLEM Mecha library enables designers to assemble up electro-mechanical components using components of fundamental effects occurring in the mechanical device. With this approach, a complete user defined model can be created and parameterized for application specific use in an overall system simulation at circuit level.
PSL Detectors Tutorial
KEYWORDS: ABV, PSL, RTL, virtual verification, physical verification
The complexity of circuits has grown to such a degree that the verification can consume up to 70% of the design cycle. Productivity of logic designers has been enhanced thanks to assertion-based verification (ABV) which allows verifying temporal design properties. Such properties can be checked using either static verification (e.g. formal proving) or dynamic verification (e.g. simulation).
SLASH, the bundle of SLED with SMASH, allows designers to conveniently perform assertion-based verification through simulation. Furthermore, SLED SDG (Synthesizable Detector Generator) enables generating synthesizable verification units that can be embedded in a prototype or in the circuit itself.
SLASH Netlisting and Simulation Tutorial
KEYWORDS: Design, Schematic, Netlist, Simulation, Back-annotation, Cross-probing
This tutorial introduces the designer to SLASH through the discovery of design and simulation, including netlisting configuration in SLED and how to start basic analyses in SMASH. It introduced the concepts related to Design Contexts and their configurations, as well as how to setup the dynamic link between SLED and SMASH for netlisting, back-annotation and cross-probing.
SLED Getting Started Tutorial
KEYWORDS: DFT, FFT, Fourier, sampling, aliasing, spectral leakage, windowing
Fast Fourier Transform (FFT) based measurements are widely used by designers to verify their circuits in many fields such as signal conditioning, instrumentation, or audio applications. However, this powerful mathematical tool is subject to errors when used without caution. Indeed, a designer can experience aliasing or spectral leakage which reduces the accuracy of the FFT results. The goal of this tutorial is to go through the basics of FFT-based measurements and to show the functionalities of SMASH to compute the FFT of a time- domain signal.
laker2sled How to convert a project from the ECS family to SLED
 

The pdf documentation of the tutorials can be downloaded directly from this page. The tutorials are also delivered with SLED and included in the download of SLED Discovery, along with the support files needed to run the tutorials.