Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
White-label Grocery Delivery App Solution 2.0
Best Classified Script 5.1
Readymade B2B Script 1.3.1
Uber Clone with Safety Measure Addons 2.0
Equity Investing Software 1.3.2
C# QR Code Generator 2020.6.0.0
The .Net PDF Library 2020.7.1
dbExpress driver for MySQL 7.2
dbForge Documenter for Oracle 1.2
dbForge Studio for Oracle 4.2
Excel .Net Library 2020.6
fsMediaLibrary.NET 2019.11
VaxVoIP SIP Server SDK 5.2.0
Database Workbench Pro 5.7.4
dbForge Data Generator for Oracle 2.2
Top Code
Database Workbench Pro 5.7.4
dbExpress driver for SQL Server 4.45
Availability Booking Calendar PHP 1.0
ATN Site Builder 3.0
dbExpress driver for MySQL 3.00
IcrediBB Bulletin Board System 1.0
Invoice Manager by PHPJabbers 3.0
dbForge Studio for Oracle 3.10
MLM Software ONE 1.5.46
MLM Unilevel Plan Software 1.0.2
Monoline MLM Software 1.3.4
Simple Web Content Management System for Scripts 1.1
ICPennyBid Penny Auction Script 4.0
VBA Recovery 2007
ATN Resume Finder 2.0
Top Rated
phpEnter 5.1.
Single Leg MLM 1.2.1
Azizi search engine script PHP 4.1.10
Paste phpSoftPro 1.4.1
Extreme Injector 3.7
Deals and Discounts Website Script 1.0.2
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
Invoice Manager by PHPJabbers 3.0
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
Function to generate Timeseries file to use for Moore FSM coverage analysis. 1.0
File ID: 80071






Function to generate Timeseries file to use for Moore FSM coverage analysis. 1.0
Download Function to generate Timeseries file to use for Moore FSM coverage analysis. 1.0http://www.mathworks.comReport Error Link
License: Freeware
File Size: 10.0 KB
Downloads: 4
Submit Rating:
Function to generate Timeseries file to use for Moore FSM coverage analysis. 1.0 Description
Description: This function generates a Timeseries file which can be used for Moore FSM coverage analysis.

The file is generated in the working directory and can be opened into the Workspace for use by MATLAB, or read directly into Simulink using the 'Import Data From File' source block.

The generated Timeseries is based on a modified Truth Table, which is essentially two mirrored and concatenated Truth Tables. This double length table increases the coverage result compared to using a single Truth Table.

The intended application is for Moore FSM coverage analysis where the Moore Machine has boolean-only inputs (such as if the design is logic only, or the input comparators are located external to the machine).

Example: generatetestdata(i) generates a Timeseries 'Test_Data.mat' in the working directory with dimension [M;N] where;
M = 2*2^i and,
N = i.

Recommended settings for Simulink:
Solver: Fixed Step Discrete (no continuous states)
Start Time: 0 seconds
End Time: 2*2^i seconds
Step Size: 1 second

Recommended settings for 'Input Data From File' source block:
Before First Value: Hold First Value
Interpolation: Zero Order Hold
After Last Value: Hold Last Value

If you have used this methods to perform a coverage analysis of your Moore FSM, PLEASE leave a comment as I am attempting to collate the usefulness of this fairly simple method for my PhD thesis. It would be most appreciated if you could report your result as follows:
Number of Modes:
Number of Inputs:
Number of Transitions:
Coverage Result:

License: Freeware

Related: analysisthe file, Analysis, and can, concatenated, andn, attempting, secondsstep, 3d 22i, irecommended, Application, appreciated, be used, opened, blockbefore, blockthe generated, booleanonly inputs, be most, Based

O/S:BSD, Linux, Solaris, Mac OS X

File Size: 10.0 KB

Downloads: 4



More Similar Code

This function generates a Timeseries file which can be used for Moore FSM coverage analysis.

The file is generated in the working directory and can be opened into the Workspace for use by MATLAB, or read directly into Simulink using the 'Import Data From File' source block.

The generated Timeseries is based on a modified Truth Table, which is essentially two mirrored and concatenated Truth Tables. This double length table...



03 Mar 2012 (Updated 06 Mar 2012)

Function to generate a listing of the coordinates for a specified Cartesian space.
A = ENUM_COORDS(X) returns the matrix elements of a 2D region, where X contains a 4-element vector, X=[x y width...



These two M files provides functionalities to generate plots and animation for pore pressures in a 4-node elements with an additonal time history file. The pore prssure data must be corresponded with the nodes of the elements, but not the elements...



Function to generate soundex code for any string (usually a name). Conforms to Knuth's algorithm and the common Perl implementation.



TinyURL Service allows you to generate a TinyURL shortlink for post, pages and custom post types.

Do you prefer to use Bit.ly?

With Bit.ly Service you can use Bit.ly, or even better, Bit.ly Pro to generate shortlinks for all...



This function will generate a regular expression for you for any given numeric range. You can also run this code online here: http://utilitymill.com/utility/Regex_For_Range



Simple function to generate N random variates from a gamma distribution. Uses acceptance-rejection method, e.g. http://en.wikipedia.org/wiki/Gamma_distribution



Small function to generate every permutation of a given sequence. Works for lists and strings



main+function to create a Derenzo phantom for Gate v6.1 PET/SPECT simulations
Derenzo.m : extracts centroids and radii of the circles that make up the Derenzo phantom (needs derenzo.png to work)
derenzo_main.m : example of application;...



This library allows to generate images of teeth for odontograms with tooth faces painted in a color (red, green, blue, white or black for example). This is very usefull for dental applications.

User Review for Function to generate Timeseries file to use for Moore FSM coverage analysis.
- required fields
     

Please enter text on the image