It's been a while since I've done the the envelope math but if I recall correctly there is more than sufficient CO2 on Venus to provide an atmosphere for Mars the issue is just transportation.
The last time I thought about it I considered some sort of massive floating solar powered comet builder that would cool the atmosphere into large chunks of dry ice that could then be wrapped in a metal sabot so that the comet could be accelerated to mars via a mass driver.
As with everything in space and terraforming the key is scale so the equipment used would need to built in situ out of carbon from the Venusian atmosphere.
We are of course still a ways away from mastering self replicating carbon based engineering but the idea of terraforming both planets at the same time is neat to me.