ASD:Suite Visual Verification

User Guide

ASD:Suite Release 3 v8.2.0

ASD:Suite verification is model verification using the ASD:Suite. Using the ASD:Suite verification you prove the correctness and completeness of your design or interface models. Readers of this guide should be familiar with Sequence Based Specifications (SBS) and should know how to create ASD models using the ASD:Suite. This information can be found in the ASD:Suite User Manual.

This guide is a reference for ASD:Suite users on how to verify ASD models using the ASD:Suite, how to interpret the results, and how to fix any problems found.

The main verification concepts are outlined in ASD:Suite verification concepts.

The performed checks are introduced in What is verified?.

In the Guidelines for verification section you find guidelines for using the Visual Verification feature of the ASD:Suite, while in Guidelines for reducing verification time you fing guidelines to reduce the verification time.

Copyright (c) 2008 - 2012 Verum Software Technologies B.V.

ASD is licensed under EU Patent 1749264 and Hong Kong Patent HK1104100

All rights are reserved. No part of this publication may be reproduced in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the copyright owner.