@theruran I'm not sure I can answer your questions, as that's literally the only Shen I've written. :)
@theruran So far, I used it only to help produce the 53000 processor design.
SMG is a tool which is used to build "PLA"-type instruction decoders, such as those found in the 6502. You feed it a set of if-this-then-that style expressions, which are all independent from each other (being implemented as asynchronous logic). That allows more than one decoder output to respond to a common set of input conditions.
@theruran This differs from traditional state machine decoding in Verilog, which is typically synthesized as priority decoders, so you get one and only one "hot" output.
You can still work with this style of decoder, but it's more verbose and error-prone.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!