●Home
●About Us
●Platforms
●Synthetic Processor Design
●Synthetic Processor Verification
●System Modeling Platform
●More Design Platforms =>
●Teraptor Designer IDE
●Teraptor Player (Simulator)
●Teraptor Channels
●Teraptor SDK (Compiler)
●Object Middleware
●Machine Translation
●Complex Systems Modeling
●Synthetic SoC
●VHLS Engine
●Cognition
●BigData and DataFactory
●Document Management
●More
Business Processes =>
●Order To Cash
●Procure To Pay
●Varadhi Enterprise
●SaaS Publishing
●Industries
●Automotive
●Consumer Electronics
●Networking & Storage
●High Performance Computing
●Aerospace & Defence
●Transportation
●Manufacturing
●Sales
●Support
●Partners
●Research
●Contact
Have a Question? >>> Ask
To Attend a Course >>> Register
Ready to Buy >>> Request Proposal
To Connect a Lead >>> Refer
SANKHYA Teraptor
●Teraptor Designer IDE
●Teraptor Player (Simulator)
●Teraptor Channels
●Teraptor SDK (Compiler)
●Synthetic Processor Design
●Synthetic Processor Verification
●System Modeling Platform
●Complex Systems Modeling
●Synthetic SoC
●VHLS Engine
●Documents
●Design Flow
●Design Platform
●Benefits
●Usage Areas
●System Requirements
●Consulting
● Casestudy
● Download
Design Platform
(一)Teraptor
(二)Design
(三)Processor Design
(四)SoC Design
(五)Compile
(六)Virtualize
(七)Verify
(八)Synthesize
(九)Kickstart
Model Space Explorer
An SMDL model intrinsically specifies space of all possible instructions and instruction sequences that are legal for a processor. MSE can explore this space and automatically generate test sequences for a processor. In addition, by executing the test cases over Teraptor Player, standard results can be generated automatically. MSE accepts verification strategy as input enabling constrained random test generation.
MSE can also explore other (non-processor) models and can in principle be used for automating system level testing.
Verifier
A convenience tool (scripts) that can be used to automate processor verification using MSE.
Autoval
A convenience tool for executing tests and generating reports using verifier. Autoval supports options to compare multiple test runs and generate trend reports.
Next Steps
Do Contact Us - to request a proposal or to learn more.
Quick Links
●Products
●Industries
●Support
●About Us
●Contact
Knowledge Hub
●Learn Through Videos
●Ask a Question/Report a Problem
●Send Feedback
Help Center
+91 94449 72818
support@sankhya.com
Connect With Us
On LinkedIn
Follow Teraptor
© Sankhya Technologies Private Limited Legal Terms & Privacy Policy
Site Generated By V-One CMS