Home > By category > Scripts >Communication > Function to generate Timeseries file to use for Moore FSM coverage analysis



Function to generate Timeseries file to use for Moore FSM coverage analysis

  • Downloads: 
  • Views: 
  • Rating:

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:

Free download from Shareware Connection - This function generates a Timeseries file which can be u for Moore FSM coverage analysis.

Publisher: Paul Metcalf | License: Freeware | Price: 0.00
Version: 1.0 | Size: 10 KB | Platform: Matlab, Scripts
Released Date: 22-02-2013 | Rating: 0 | Title: Function to generate Timeseries file to use for Moore FSM coverage analysis

Author Url: http://www.mathworks.com
Program Info Url: http://www.mathworks.com
Download Url: http://www.mathworks.com/matlabcentral/fx_files/30032/1/generatetestdata.zip

More downloads from Function to generate Timeseries file to use for Moore FSM coverage analysis publisher Paul Metcalf:

Foxboro I/A Series PIDA Blocks - This block implements the PID control equations found on page 1680 of the Foxboro I/A Series Integrated Control Block Descriptions Manual Volume 3, dated May 31 2006

Chirp Source Block For Simulink - This block for Simulink provides a chirp source for stimulating unknown system dynamics

Function To Generate Truth Table - This function very efficiently generates a Truth Table matrix of arbitrary, user specified dimension.

Function to generate Timeseries file to use for Moore FSM coverage analysis. - This function generates a Timeseries file which can be used for Moore FSM coverage analysis.

Function To Generate Truth Table Condition Vectors - This function returns a matrix of all possible binary condition vectors for a logical system with (I) inputs.

Function to generate Timeseries file to use for Moore FSM coverage analysis keywords:
Function to generate Timeseries file to use for Moore FSM coverage analysis related downloads:

Function to generate Timeseries file to use for Moore FSM coverage analysis. - This function generates a Timeseries file which can be used for Moore FSM coverage analysis.

Batch Sound File Converter for ShoreTel - Batch Sound File Converter for ShoreTel is a lightweight application that allows you to convert audio files and use them your ShoreTel system.

File Search for LAN - File Search for LAN is a search utility, which is based on the fastest and high performance search engine. Mutithreaded, templates based search. Very suitable for the mp3 file search.

Find a Use For - Find a Use For is a lightweight and simple application that contains four lists where you can add custom texts or reminders (with date and time).

File Brick for Windows 8 - File Brick for Windows 8 is a handy and reliable application designed to provide modern means to manage files and directories.

Shareware Connection periodically updates pricing and software information of 'Function to generate Timeseries file to use for Moore FSM coverage analysis' from company source 'Paul Metcalf' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'Function to generate Timeseries file to use for Moore FSM coverage analysis' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Function to generate Timeseries file to use for Moore FSM coverage analysis.

New Reviews

Argente - Registry Cleaner - Keeping the Windows registry clean and optimized is essential for getting optimum performance from the PC. While most users do not prefer tinkering with registry settings, it may get laden with erroneous and invalid entries over prolonged usage. ...

Screenshot Captor - Nowadays, a lot of Windows users need to take screenshots for professional and personal usage needs. It may be required to share an interesting image from web site or part of web pages with friends, making tutorials etc. However, freeware screen ...

PCFerret - For average PC users learning about the details of each hardware component used in the laptop or desktop may not be an easy task. It is something the geeks can find out easily. However, less tech savvy PC users can surely resort to specialized ...

Imagina - Average PC users have to deal with an ever increasing number of digital images these days. This has become a trend after invasion of digital cameras and smart phone with high quality cameras among the mass. You also need to edit and retouch ...

Cyotek WebCopy - It will be hard to find a computer user nowadays who does not need to access the web. Using web has become near mandatory for various personal and professional reasons. However, not everyone who owns a computer and accesses the web is blessed ...

CherryPlayer - When you want to watch movies, online videos or listen to music tracks, using a suitable application is required. There is no hard and fast rule that you have to stick to Windows default media player software for such needs. There are plenty of ...

Xvirus Personal Guard - Nowadays, it is quite risky to use a computer without having suitable security suite or antivirus installed in it. Your computer’s security can be breached any moment without a suitable antivirus or Internet security software. There are so ...

dMaintenance - As a computer user, you may need to deal with several types of applications. For a lot of Windows users, the integrated tools of the OS may not suffice at times. They may need to use several third party apps for needs such as entertainment, ...

PotPlayer - When it comes to selecting a suitable media player application, the profuse options can leave most PC users baffled. While the bundled WMP has become far more polished than its predecessors in latest releases of Windows, a section of users prefer ...

HandBrake - Nearly every PC user gets into a situation when they fail to understand what to do with a DVD that will not play back on DVD player or PC owing to format restrictions. Some users may also feel irked about a video file downloaded from web refusing ...




New Downloads

Contact Form Generator

Contact Form Generator is an
easy-to-use PHP script for
creating contact and email
forms. The contact form script
allows ...

Online Real Estate Software

Bring your real estate
business online with our web
based real estate softwareOur
Online Real Estate Software is
an easy ...

inputEmu: Keyboard & Mouse
Emulator

INPUTEMU emulates user inputs
via keyboard and mouse

A Win Chat

A Win Chat is a chat program
that works over the internet
and LAN.

backup

This module creates a tarball
that consists of your Drupal
database and all files under
DOCUMENT_ROOT, which can then
be ...

getHWnd - retrieve the
underlying Windows handle
for Matlab figure(s)

HWnd = GETHWND retrieves the
current figure (gcf)'s
underlying Windows handle,
thus enabling integration of
Matlab GUI in ...

Wipe Element Color for
Graphics and Animations

Wipe Element Color script was
designed to enhance the
MouseOver/MouseOut appearance
of elements.

BNS Twitter Follow Button

This widget also creates a
shortcode that can be used in
posts and pages.

H2MEX

H2Mex is a program that
gernerates automatically an
interface file (MEX file) from
header file (the .h file).

Detection of face portion
from a single face image

The code will work with the
images which don't have much
brightness variation on the
face

Fractal curves

Dragon Curve

Perfect Number Generator

It calculates perfect even #'s
with 2^(p-1)*(2^p - 1) where p
and (2^p - 1) %are prime. A
subsequent run yields a faster
...