Function device_library 

pub fn device_library(verilog: &str) -> String

The device primitives verilog instantiates and does not define, each declared as the box it is: the card’s floating-point DSP block (fourteennm_fp_mac, super::fp_oracle::fp_mac_blackbox), which only Quartus elaborates.