Visual Software - ASTER

A System for Boolean/Multi-Valued Function Decomposition, Netlist Simulation, and Automatic Test Pattern Generation

Abstract

The input of ASTER is a boolean function or a combinational netlist specified in BLIF, ML (an extension of BLIF for multi-valued benchmarks) or PLA. The user can decompose the function, simulate the decomposed network, and select a number of options to derive sets of test patterns for graphically inserted faults or visualize faults detected by the given test patterns. The simulation results and fault coverage are back-annotated to the picture using different colors.

Command Summary

Keyboard or mouse input	Action performed
Left Button Double Click on a bdd	Toggle complementary edges on/off
Right Button Double Click on a bdd/K-map	Toggle multi-output function view on/off
Left Button Click on a bdd	Select a variable
Left Button Click on a K-map	Change the function in the K-map or selects a variable
Left Button Click on a gate in the netlist	Dislay the K-map for this gate
Left Button Click on the input/ouput bus in the netlist	Start simulation or display the K-map for the output
Left Button Click on a test-point in the netlist (available if "Testing one fault" option is enabled)	Display a K-map over input variables, which shows all test vectors detecting the specified fault in the given test-point
"Arrow Up/Down" button after clicking on a bdd/K-map	Moves the selected variable up/down in the bdd/K-map
"Z+/Z-" button after clicking on a bdd/K-map/netlist	Zooms the view in/out

Download the latest version of ASTER (07)
Download short Manual

If the above executable does not work on Windows NT, try this one, with zoom disabled:
Download the latest NT version of ASTER (07)

Back to Visual Software Homepage

This webpage is supported by Alan Mishchenko.