In addition to verifying convex problems, does DCP have other functions in the subsequent solution?
For example:
min y=x1*x2
0<=x1<=1
0<=x2<=1
CVX does what it does. Feel free to write your own tool which does things better.
Anyhow, this problem can be entered “as is” using gp mode. http://cvxr.com/cvx/doc/gp.html