Fix attributes on $__ABC9_ASYNC[01] whitebox

diff --git a/techlibs/xilinx/abc9_model.v b/techlibs/xilinx/abc9_model.v
index c793396a4bc9be5f9c921a9fcaee566cee844f02..11250123d60ca24c0927d78f7190902b364ac023 100644 (file)
--- a/techlibs/xilinx/abc9_model.v
+++ b/techlibs/xilinx/abc9_model.v
@@ -34,13 +34,13 @@ module \$__ABC9_FF_ (input D, output Q);
 endmodule
 
 // Box to emulate async behaviour of FDC*
-(* abc_box_id = 1000 *)
+(* abc9_box_id = 1000, lib_whitebox *)
 module \$__ABC9_ASYNC0 (input A, S, output Y);
   assign Y = S ? 1'b0 : A;
 endmodule
 
 // Box to emulate async behaviour of FDP*
-(* abc_box_id = 1001 *)
+(* abc9_box_id = 1001, lib_whitebox *)
 module \$__ABC9_ASYNC1 (input A, S, output Y);
   assign Y = S ? 1'b0 : A;
 endmodule