diff --git a/README.md b/README.md
index 072a339..4198603 100644
--- a/README.md
+++ b/README.md
@@ -614,7 +614,7 @@ See `make area` in [scripts/vivado/](scripts/vivado/).
 
 | Core Variant       | Slice LUTs | LUTs as Memory | Slice Registers |
 |:------------------ | ----------:| --------------:| ---------------:|
-| PicoRV32 (small)   |        751 |             48 |             422 |
-| PicoRV32 (regular) |        901 |             48 |             564 |
-| PicoRV32 (large)   |       1718 |             88 |            1002 |
+| PicoRV32 (small)   |        743 |             48 |             420 |
+| PicoRV32 (regular) |        897 |             48 |             562 |
+| PicoRV32 (large)   |       1882 |             88 |            1027 |
 
diff --git a/scripts/vivado/synth_area_top.v b/scripts/vivado/synth_area_top.v
index 18e6438..c2eddeb 100644
--- a/scripts/vivado/synth_area_top.v
+++ b/scripts/vivado/synth_area_top.v
@@ -104,6 +104,7 @@ module top_large (
 	output [31:0] eoi
 );
 	picorv32 #(
+		.COMPRESSED_ISA(1),
 		.ENABLE_PCPI(1),
 		.ENABLE_MUL(1),
 		.ENABLE_IRQ(1)