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
Rapid PHP 2018 15.5
IBDAC 6.4
Online Course Booking Script 1.3.3
Database Workbench Pro 5.6.4
Job Portal Script 1.3.2
The C# PDF Library 5.2
PostgreSQL Data Access Components 6.0
Virtual Data Access Components 11.0
HTMLPad 2018 15.5
WeBuilder 2018 15.5
SentiMask SDK Trial 2.0.0
Track Order For Magento 2 1.0.0
Calendar 365 For Dynamics CRM 4.0
Scimbo 1.2
Odoo Furnito Theme 1.0
Top Code
PostgreSQL Data Access Components 4.4
Database Workbench Pro 5.6.4
Availability Booking Calendar PHP 1.0
Online Course Booking Script 3.04
ATN Site Builder 3.0
ATN Resume Finder 2.0
PHP Review Script 1.0
IBDAC 6.4
ICPennyBid Penny Auction Script 4.0
Invoice Manager by PHPJabbers 3.0
The C# PDF Library 1.0
Rapid PHP 2018 15.5
HTMLPad 2018 15.5
Classified Ad Lister 1.0
Azizi search engine script PHP 4.1.10
Top Rated
VisualNEO Web 2018.12.15
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
ADO.NET Provider for ExactTarget 1.0
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