- Breaking: Iterable instead of Map in Interface
- Added a GitHub Codespace to the repository as a quick way to experiment with ROHD without any environment setup.
- Added
Conditional
operations similar to++x
(incr
),--x
(decr
),x *=
(mulAssign
), andx /=
(divAssign
) toLogic
(intel#141). - Fixed a bug where generated SystemVerilog could perform index accesses on single-bit signals (intel#204).
- Expanded capability to construct single-
Conditional
more succinctly viaElse.s
(intel#225). - Fixed a bug where sensitivities for
Combinational
s were excessively pessimistic (intel#233). - Improved exceptions raised by
Logic.put
to include context on which signal was affected to help with debug (intel#243). - Optimized
WaveDumper
to only periodically write data to the VCD file to improve performance (intel#242). - Made
endIndex
ingetRange
an optional positional argument with a default value ofwidth
, enabling a more convenient method for collecting all bits from some index until the end (intel#228). - Added an exception in cases where names of interface ports are invalid/unsanitary (intel#234).
- Upgraded the
Simulator
so that it wouldawait
asynchronous registered actions (intel#252). - Deprecated
Logic.hasValidValue
andLogic.isFloating
in favor of similar operations onLogic.value
(intel#198). - Added
Logic.isIn
, which generates logic computing whether the signal is equal to any values in a (optionally mixed) list of constants or other signals (intel#7).
- Fixed a bug where
Module
s could have invalid names in generated SystemVerilog (intel#138). - Fixed a bug where
Logic
s could have invalid names in generated SystemVerilog. - Added a feature allowing access of an index of a
Logic
via anotherLogic
(intel#153). - Fixed a bug where multiple sequential driver issues might not be caught during ROHD simulation (intel#114).
- Improved
Exception
s in ROHD with better error messages and more granular exception types to make handling easier. - Improved generated SystemVerilog for sign extension and added capability for replication (intel#157).
- Fixed a bug where signal names and module instance names could collide in generated SystemVerilog (intel#205).
- Fixed a bug where in some cases modules might not be properly detected as sub-modules, leading to erroneous omission in generated outputs.
- Added capability to perform modulo and shift operations on
Logic
via a constant values (intel#208). - Completed a fix for a bug where shifting a
Logic
by a constant would throw an exception (intel#170). - Modified the mechanism by which signal propagation occurs between
Logic
s so that connectedLogic
s share an underlying value-holding entity (intel#199). One significant implication is that modifying a value of aLogic
(e.g. viaput
orinject
) will now affect the value of both downstream and upstream connectedLogic
s instead of only downstream. This change also can significantly improve simulation performance in connection-heavy designs. Additionally, this change helps mitigate an issue where very long combinational chains of logic can hit the stack size limit (intel#194). - Fixed a bug where large unsigned values on
LogicValue
s would convert to incorrectint
values (intel#212). - Added an extension on
BigInt
to perform unsigned conversion to anint
. - Added a capability to construct some
Conditional
types (e.g.If
) which have only a singleConditional
more succinctly (intel#12). - Optimized some operations in
LogicValue
for performance (intel#215). - Added a shortcut to create a 0-width
LogicValue
calledLogicValue.empty
(intel#202). - Fixed a bug where equal
LogicValue
s could have unequal hash codes (intel#206). The fix also improved internal representation consistency forLogicValue
s, which could provide a significant performance improvement when wide values are used often.
- Fixed a bug where generated SystemVerilog could apply bit slicing to an expression (intel#163).
- Fixed a bug where constant collapsing in SystemVerilog could erroneously remove constant assignments (intel#159).
- Fixed a bug where
Combinational
could have an incomplete sensitivity list causing incorrect simulation behavior (intel#158). - Significantly improved simulation performance of
Combinational
(intel#106). - Upgraded and made lints more strict within ROHD, leading to some quality and documentation improvements.
- Added a feature allowing negative indexing to access relative to the end of a
Logic
orLogicValue
(intel#99). - Breaking: Increased minimum Dart SDK version to 2.18.0.
- Fixed a bug when parsing unsigned large binary integers (intel#183).
- Exposed
SynthesisResult
s from theSynthBuilder
, making it easier to generate SystemVerilog modules into independent files (intel#172). - Breaking: Renamed
topModuleName
todefinitionName
inExternalSystemVerilogModule
(intel#169). - Added the
mux
function as a shortcut for building aMux
and returning the output of it (intel#13). - Deprecation: Improved naming of ports on basic gates, old port names remain accessible but deprecated for now (intel#135).
- Fixed list of reserved SystemVerilog keywords for sanitization (intel#168).
- Added the
StateMachine
abstraction for finite state machines. - Added support for the modulo
%
operator. - Added ability to register actions to be executed at the end of the simulation.
- Modified the
WaveDumper
to write to the.vcd
file asynchronously to improve simulation performance while waveform dumping is enabled (intel#3)
- Fixed a bug (introduced in v0.3.0) where
WaveDumper
doesn't properly dump multi-bit values to VCD (intel#129).
- Breaking: Merged
LogicValue
andLogicValues
into one type calledLogicValue
. - Deprecation: Aligned
LogicValue
toLogic
by renaminglength
towidth
. - Breaking:
Logic.put
no longer acceptsList<LogicValue>
, swizzle it together instead. - Deprecated
Logic.valueInt
andLogic.valueBigInt
; instead use equivalent functions onLogic.value
. - Deprecated
bit
on bothLogicValue
andLogic
; instead just checkwidth
. - Added ability in
LogicValue.toString
to decide whether or not to include the width annotation throughincludeWidth
argument. - Fixed a bug related to zero-width construction of
LogicValue
s (intel#90). - Fixed a bug where generated constants in SystemVerilog had no width, which can cause issues in some cases (e.g. swizzles) (intel#89)
- Added capability to convert binary strings to ints with underscore separators using
bin
(intel#56). - Added
getRange
andreversed
onLogic
andslice
onLogicValue
to improve consistency. - Using
slice
in reverse-index order now reverses the order. - Added the ability to extend signals (e.g.
zeroExtend
andsignExtend
) on bothLogic
andLogicValue
(intel#101). - Improved flexibility of
IfBlock
. - Added
withSet
onLogicValue
andLogic
to make it easier to assign subsets of signals and values (intel#101). - Fixed a bug where 0-bit signals would sometimes improperly generate 0-bit constants in generated SystemVerilog (intel#122).
- Added capability to reserve instance names, as well as provide and reserve definition names, for
Module
s and their corresponding generated outputs.
- Updated implementation to avoid
Iterable.forEach
to make debug easier. - Added
ofBool
toLogicValue
andLogicValues
(intel#34). - Breaking: updated
Interface
API so thatgetPorts
returns aMap
from port names toLogic
signals instead of just a list, which makes it easier to work with when names are uniquified. - Breaking: removed
setPort
fromInterface
. UsesetPorts
instead. - Deprecated
swizzle
andrswizzle
global functions and replaced them with extensions onList
s of certain types includingLogic
,LogicValue
, andLogicValues
(intel#70). - Breaking: renamed
ExternalModule
toExternalSystemVerilogModule
since it is specifically for SystemVerilog. - Breaking: made
topModuleName
a required named parameter inExternalSystemVerilogModule
to reduce confusion. - Added
simulationHasEnded
bool toSimulator
. - Updated
Simulator
to allow for injected actions to returnFuture
s which will beawait
ed. - Fixed bug where
Simulator
warns about maximum simulation time when not appropriate. - Fixed a bug where
ExternalSystemVerilogModule
could enter infinite recursion. - Some improvements to
SimCompare
to properly check values at the end of a tick and support a wider variety of values inVector
s. - Fixed a bug related to
Sequential
signal sampling where under certain scenarios, signals would pass through instead of being flopped (intel#79). - Deprecated a number of
from
functions and replaced them withof
to more closely follow Dart conventions (intel#72).
- Optimized construction of
LogicValues
to improve performance - Renamed
FF
toSequential
(markedFF
as deprecated) (breaking: removedclk
signal) - Added
Sequential.multi
for multi-edge-triggered blocks (intel#42) - Improved exception and error messages (intel#64)
- Fix
Interface.connectIO
bug when no tags specified (intel#38) - Fix uniquified
Interface.getPorts
bug (intel#59)
- The first formally versioned release of ROHD.