Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.547.266 Times

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

  Date Added: June 01, 2013  |  Visits: 286

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

Report Broken Link
Printer Friendly Version


Product Homepage
Download (20 downloads)



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 secondsEnd Time: 2*2^i secondsStep Size: 1 secondRecommended settings for 'Input Data From File' source block:Before First Value: Hold First ValueInterpolation: Zero Order HoldAfter Last Value: Hold Last ValueIf 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:

Requirements: No special requirements
Platforms: Matlab
Keyword: Blockbefore Continuous Dimension Discrete External Fixed Generatetestdatai Input Machineexample Order Secondrecommended Secondsend Secondsstep Simulinksolver Statesstart Test Datamat Valueinterpolation Wherem
Users rating: 0/10

License: Freeware Size: 10 KB
USER REVIEWS
More Reviews or Write Review


FUNCTION TO GENERATE TIMESERIES FILE TO USE FOR MOORE FSM COVERAGE ANALYSIS RELATED
Communication  -  Signals & Systems: Continuous and Discrete, 4e Companion Software 1.0
Companion Software for the Signals & Systems: Continuous and Discrete, 4e book by Rodger E. Ziemer & William H. Tranter
30.72 KB  
Development Tools  -  Eigensystem Realization Algorithm 1.0
[A,B,C,D]=era(h,n,N,Ts,def);This function returns the state-space model (A,B,C,D) in continuous or discrete time. The input parameters are the discrete-time impulse response function (IRF); the order of the system; the number of samples to...
10 KB  
Development Editors  -  bioCity 0.4.2
bioCity is a continuous space, discrete time simulation written in C++. It is meant to be of use to population biologists. Rules of behaviour are given to individuals that move, live, die, and procreate.
30.72 KB  
Development Tools  -  Libecc 0.11.1
Libecc is an Elliptic Curve Cryptography C library for fixed size keys in order to achieve a maximum speed.The goal of this project is to become the first free Open Source library providing the means to generate safe elliptic curves.
 
Games  -  Dice 3D Physics 1.3.1.0
A physicsbased 3D dice roller to use when you have misplaced your IRL dice. The app reads accelerometer input in order to roll the dice. - Shake phone to roll dice - Tap dice to lock them. When dice are locked you can roll the rest...
1024 KB  
Productivity  -  Drum Tuner 1.0.0.1
As this is v1.0, this app is a tuning reference application, rather than a drum tuner itself. I am currently working on the next version which will allow you to use your phones MIC input in order to tune your drum heads. At the moment, this...
1024 KB  
Development Tools  -  Continuous and discrete time optimal reduced order LQG output feedback 1.0
Software associated with the paper:L.G. van Willigenburg, W.L. De Koning, 2000, "Finite and infinite horizon fixed-order LQG compensation using the delta operator", Proceedings UKACC International Conference on Control 2000, 4-7 September,...
30.72 KB  
Mathematics  -  SLGallery 1.2
Math software is often bulky, overloaded with useless features and requires reading huge manual before attempting to use it. SLGallery is the unique probability distribution calculation toolbox featuring 11 continuous and 4 discrete functions....
489 KB  
Utilities  -  SimCoupe 1.0
SimCoupe project is a SAM Coupé emulator. SimCoupe emulates the SAM Coupé, a British Z80-based home computer released in 1989 by Miles Gordon Technology. Whats New in This Release: - Added SDL port (OpenGL and regular) for Linux, BeOS, QNX,...
942.08 KB  
Education  -  JMCAD - modeling of dynamic systems For Linux 09.126
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and...
5.49 MB  
NEW DOWNLOADS IN SCRIPTS, COMMUNICATION
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Communication  -  Contact Form Script 1
This PHP script is a fully functioning contact form which can be easily installed on your own website. It enables users to contact you directly by filling out the form. The PHP script is completely FREE to use, and none of the code is encoded...
19 KB  
Communication  -  Ethernet Source with SimEvents 1.1
When audio or video is transmitted over an Ethernet network, the data is usually transmitted in bursts of packets with long idle times in between bursts. SimEvents is a good tool for modeling those types of sources and studying the effects of...
2.8 MB  
Communication  -  Autocorrelation and Crosscorrelation function of gold sequence 1.0
This m-file finds and plots the autocorrelation and crosscorrelation function(ACF and CCF) of generated Gold codes of length 31.Crosscorrelations are three valued.
10 KB  
Communication  -  Zoom Spectrum 1.0
This function returns N point DFT samples of 2dw band of Fourier transform of a sequence. Typically, fft() returns N samples of Fourier transform ranging from 0 to 2pi. This function takes the N-point DFT samples and returns N-point samples...
10 KB  
Communication  -  BER of BPSK DS-SS System 1.0
This m-file finds the bit error rate performance of BPSK DS-SS system over (i) AWGN channel and (ii) Slow Rayleigh fading channel corrupted by AWGN. Compare the performance with simple BPSK system.In this simulation I have used two functions.So to...
10 KB