Standardní praktiky návrhu digitální logiky jsou formalizovány v dostupné literatuře, ale principy fungování potřebných softwarových nástrojů jsou popsány jen v omezených, silně specializovaných publikacích. Cílem této ...