# SPDX-License-Identifier: MIT
create_clock -name core -period 10.0 [get_ports clk]