tree 22e9d0599167ed9e4d4079cef166a8a784eae0cc
parent 37b40cc14b384186ec816d1fcc3540027c7f87c0
author Kamil Rakoczy <krakoczy@antmicro.com> 1656503225 +0200
committer GitHub <noreply@github.com> 1656503225 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJivDu5CRBK7hj4Ov3rIwAA+bAIAFIlqchm5yjn678x5jcxps7Z
 jKWrVBnJQiVlCXjmWRlQxTdYeV34ET5TE3/5j+rpBs9MsPfGx8qFvPEBlNUkZ6on
 igXSDfgbpLoVghmxdRFVZPzTNkA+8cvEi4eAlV1JGz13zacBiNC+yCfyJ3jsYacm
 IHpVFEWXn0Tf5+jDXJhSwE5ReXkUuuU5CGwWQd8Tk2syTffU0Nx3IxokA12/d9Xp
 zPxXwogxlu/0Vb3Zm2ARVEjggFYQ3C8HFib9trN/L6aHJDNHOSf3+i/9JkU19nbO
 eChI6AIyD4mZTiV6a3L77/JGcUDUpGOF+0YIfsoIWl/JDG9wt2CWq5PcT3Ml5jI=
 =PDrI
 -----END PGP SIGNATURE-----
 

Skip non-synthesizable objects (#243)

* Skip non-synthesizable objects

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Add check for case node

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Add AST_BLOCK if not present in initial

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Add AST_BLOCK if stmt is missing in always

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Add AST_BLOCK if stmt is missing in initial

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Check if node is present in hier_path

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Check for node in if_else

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

* Rely on UHDM's SynthSubset to filter out non-synthesizables

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>

Co-authored-by: Krzysztof Bieganski <kbieganski@antmicro.com>