You can certainly inspect the synthesized primitives, either graphically post-place&route, or in a netlist which is usually a tangled mess. Typically you're do

You can certainly inspect the synthesized primitives, either graphically post-place&route, or in a netlist which is usually a tangled mess. Typically you're doing so either because you're curious, you're debugging a timing problem, or you're trying to make sure the toolchains inferred a particular primitive you are trying to use on purpose. It's not terrifically informative otherwise.