diff --git a/tests/formal/passlist.txt b/tests/formal/passlist.txt
index d037a5313..3a79bf94e 100644
--- a/tests/formal/passlist.txt
+++ b/tests/formal/passlist.txt
@@ -68,6 +68,8 @@ simple:ConstSizes/dut.v
 simple:ContinueWhile/top.sv
 simple:CppMacroNameAsVariableName/top.sv
 simple:DeclarationInFor/top.sv
+simple:DisplayWithBinFormatSpecifier/top.sv
+simple:DisplayWithHexFormatSpecifier/top.sv
 simple:DivisionOfSize/top.sv
 simple:DotMultirange/top.sv
 simple:DotRange/top.sv
@@ -266,14 +268,23 @@ sv2v:basic/gen_case.sv
 sv2v:basic/mutual_recursion.sv
 sv2v:basic/shift.sv
 sv2v:basic/simplify_arg_shadow.sv
+sv2v:basic/simplify_binop.sv
 sv2v:basic/simplify_genvar_shadow.sv
+sv2v:basic/simplify_scope.sv
 sv2v:basic/simplify_type.sv
 sv2v:basic/string_param_plain.sv
+sv2v:basic/typeof_op.sv
 sv2v:core/always_latch.sv
 sv2v:core/always_latch.v
+sv2v:core/ambiguous_tore.v
 sv2v:core/array_in_package.v
 sv2v:core/assert.v
+sv2v:core/bit.sv
+sv2v:core/bit.v
 sv2v:core/case_inside_cast.v
+sv2v:core/cast_conflict.sv
+sv2v:core/cast_conflict.v
+sv2v:core/cast_literal.sv
 sv2v:core/class_ident.sv
 sv2v:core/class_ident.v
 sv2v:core/class_param_nest.sv
@@ -290,6 +301,8 @@ sv2v:core/empty_args_hier.v
 sv2v:core/empty_constructs.sv
 sv2v:core/empty_constructs.v
 sv2v:core/end_labels.v
+sv2v:core/enum_typedef_keep.sv
+sv2v:core/enum_typedef_keep.v
 sv2v:core/for_loop_inits.v
 sv2v:core/function_range_cast.v
 sv2v:core/function_ret_unpacked.v
@@ -302,9 +315,12 @@ sv2v:core/input_int.sv
 sv2v:core/input_int.v
 sv2v:core/interface_array_indirect.v
 sv2v:core/interface_array_single.v
+sv2v:core/interface_based_typedef.v
+sv2v:core/interface_based_typedef_delay.v
 sv2v:core/interface_func.sv
 sv2v:core/interface_func.v
 sv2v:core/interface_struct_label.v
+sv2v:core/interface_struct_param.v
 sv2v:core/interface_type_param.sv
 sv2v:core/interface_type_param.v
 sv2v:core/localparamtype.v
@@ -319,19 +335,28 @@ sv2v:core/multipack_struct_cast.v
 sv2v:core/multi_array_decl.sv
 sv2v:core/multi_array_decl.v
 sv2v:core/named_genblk_cascade.v
+sv2v:core/nest_order.sv
+sv2v:core/nest_order.v
 sv2v:core/net_base_type.v
 sv2v:core/net_or_var.sv
 sv2v:core/net_or_var.v
 sv2v:core/non_ansi_port_decl_order.sv
 sv2v:core/non_ansi_port_decl_order.v
+sv2v:core/no_default_param.v
+sv2v:core/number_concat.sv
+sv2v:core/number_concat.v
 sv2v:core/output_implicit.sv
 sv2v:core/output_implicit.v
+sv2v:core/package.v
+sv2v:core/package_decl_init.v
 sv2v:core/package_decl_reorder.sv
 sv2v:core/package_decl_reorder.v
 sv2v:core/package_enum_3.sv
 sv2v:core/package_enum_3.v
 sv2v:core/package_enum_4.sv
 sv2v:core/package_enum_4.v
+sv2v:core/package_enum_5.sv
+sv2v:core/package_enum_5.v
 sv2v:core/package_export_nothing.sv
 sv2v:core/package_export_nothing.v
 sv2v:core/package_export_wildcard.sv
@@ -351,6 +376,8 @@ sv2v:core/package_self_reference_import.sv
 sv2v:core/package_self_reference_import.v
 sv2v:core/package_self_reference_shadow.sv
 sv2v:core/package_self_reference_shadow.v
+sv2v:core/package_shadow.sv
+sv2v:core/package_shadow.v
 sv2v:core/package_typedef_nested.sv
 sv2v:core/package_typedef_nested.v
 sv2v:core/paramtype.v
@@ -369,7 +396,9 @@ sv2v:core/sign_cast.sv
 sv2v:core/sign_cast.v
 sv2v:core/simple_loop_jump.sv
 sv2v:core/simple_loop_jump.v
+sv2v:core/simplify_func.v
 sv2v:core/string.v
+sv2v:core/string_cast.sv
 sv2v:core/string_type.sv
 sv2v:core/string_type.v
 sv2v:core/struct_array.v
@@ -382,6 +411,8 @@ sv2v:core/struct_bit_struct.sv
 sv2v:core/struct_bit_struct.v
 sv2v:core/struct_const.sv
 sv2v:core/struct_const.v
+sv2v:core/struct_hier_nocast.sv
+sv2v:core/struct_hier_nocast.v
 sv2v:core/struct_param.v
 sv2v:core/struct_part_select.sv
 sv2v:core/struct_part_select.v
@@ -423,11 +454,14 @@ sv2v:lex/block_comment.v
 sv2v:lex/comment_no_space.sv
 sv2v:lex/latin1.sv
 sv2v:lex/line.v
+sv2v:lex/macro_arg_comment.v
 sv2v:lex/macro_arg_escape.sv
 sv2v:lex/macro_macro.v
 sv2v:lex/macro_string.sv
 sv2v:lex/macro_vendor_comment.sv
 sv2v:lex/no_newline.sv
+sv2v:lex/number.sv
+sv2v:lex/number_literal_whitespace.v
 sv2v:lex/string_macro.v
 sv2v:lex/undefineall.sv
 sv2v:lex/undefineall.v
@@ -655,6 +689,7 @@ yosys:simple/mem2reg_bounds_tern.v
 yosys:simple/memwr_port_connection.sv
 yosys:simple/mem_arst.v
 yosys:simple/module_scope_case.v
+yosys:simple/multiplier.v
 yosys:simple/named_genblk.v
 yosys:simple/nested_genblk_resolve.v
 yosys:simple/omsp_dbg_uart.v