VSYML is an automated symbolic simulator for VHDL designs.
Be the first to post a text review of VHDL Symbolic Simulator. Rate and review a project by clicking thumbs up or thumbs down in the right column.
This is the log of the changes made in all releases of VSYML. version 1.5 2009-04 (Florent Ouchet) * bit strings for all types containing elements '0' and '1'; * support for null ranges and null arrays; * support for synthetizable wait statements (at process begin and end); * support for always and while loops (limited to non-symbolic conditions); * support for next and exit statements (limited to non-symbolic conditions). version 1.4 2009-03-04 (Florent Ouchet) * first public release (GPL'ed); * better exception catch when an architecture could not be resolved (exception Not_found was previously raised); * new command line argument (-xsl) and associated entry in setting file to specify an XML stylesheet to be associated with the XML result file; * added tutorial in man page; * added specifications for the supported VHDL subset. version 1.3 2009-01-26 (Florent Ouchet) * added support for compiling and running on Windows; * added support for postponed statements (processes, assertions, assignments); * fixed stabilization algorithm: delta-cycles are repeated until there is no more activity on any signals; * computation on port maps are rewritten with the addition of implicit objects, this change allows the propagation of events through port map; * new simplification rules for if-then-else simple patterns on bits and booleans; * added manual and updated specifications of XML file formats; * added option to report activities or events on signals. version 1.2 2008-10-03 (Florent Ouchet) * changed report of if-then-else statement in text results to ite(x,y,z); * added support for alias statements; * improved report of errors when packages could not be parsed or elaborated; * fixed parsing error in ieee.numeric_std.vhd and ieee.numeric_bit.vhd; * modification of ieee.numeric_std.vhd and ieee.numeric_bit.vhd to remove the declaration null arrays that is not supported; version 1.1 2008-09-08 (Florent Ouchet) * fix for issue in 1.0: array numbering could be corrupted; * fix for issue in 1.0: reworked exhaustivity check for case..is and with..select statements; * fix for incorrect associations by index on port maps and function calls; * added error message on stabilisation errors; * support for aggregate targets; * moved the declarations of vsyml attributes to a dedicated package; * simulation with black-box instances; version 1.0 2008-08-01 (Florent Ouchet) * Initial release
As of 2009-04-09, VSYML 1.5 is available for download.
As of 2009-03-04, VSYML 1.4 is available for download.
This is the log of the changes made in all releases of VSYML. version 1.4 2009-03-04 (Florent Ouchet) * first public release (GPL'ed); * better exception catch when an architecture could not be resolved (exception Not_found was previously raised); * new command line argument (-xsl) and associated entry in setting file to specify an XML stylesheet to be associated with the XML result file; * added tutorial in man page; * added specifications for the supported VHDL subset. version 1.3 2009-01-26 (Florent Ouchet) * added support for compiling and running on Windows; * added support for postponed statements (processes, assertions, assignments); * fixed stabilization algorithm: delta-cycles are repeated until there is no more activity on any signals; * computation on port maps are rewritten with the addition of implicit objects, this change allows the propagation of events through port map; * new simplification rules for if-then-else simple patterns on bits and booleans; * added manual and updated specifications of XML file formats; * added option to report activities or events on signals. version 1.2 2008-10-03 (Florent Ouchet) * changed report of if-then-else statement in text results to ite(x,y,z); * added support for alias statements; * improved report of errors when packages could not be parsed or elaborated; * fixed parsing error in ieee.numeric_std.vhd and ieee.numeric_bit.vhd; * modification of ieee.numeric_std.vhd and ieee.numeric_bit.vhd to remove the declaration null arrays that is not supported; version 1.1 2008-09-08 (Florent Ouchet) * fix for issue in 1.0: array numbering could be corrupted; * fix for issue in 1.0: reworked exhaustivity check for case..is and with..select statements; * fix for incorrect associations by index on port maps and function calls; * added error message on stabilisation errors; * support for aggregate targets; * moved the declarations of vsyml attributes to a dedicated package; * simulation with black-box instances; version 1.0 2008-08-01 (Florent Ouchet) * Initial release
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?